ID | CG90 |
Type | inProceedings - an article in a conference proceedings |
Author | P. C. Cheng |
V. Gligor | |
Title | On the Formal Specification and Verification of a Multiparty Session Protocol |
Book Title | Proc. IEEE Computer Security Symposium |
Year | 1990 |
Month | May |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0