Toggle navigation
Home
People
Departments
Research
About
Login
Search
Theory of Deductive Systems for Protocol Verification.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lauer, Peter Ernst
Li, Xiaobo
Lai, Richard
Dillon, Tharam S
publication date
1992
published in
ICCI
Journal
Identity
International Standard Book Number (ISBN) 10
0-8186-2812-X
Additional Document Info
start page
422
end page
425