ID | CG90 |
Typ | inProceedings - Artikel in einem Konferenzband |
Autor | P. C. Cheng |
V. Gligor | |
Titel | On the Formal Specification and Verification of a Multiparty Session Protocol |
Buchtitel | Proc. IEEE Computer Security Symposium |
Jahr | 1990 |
Monat | Mai |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0