ID | Nes90 |
Typ | Artikel - ein Artikel in einem Journal oder Magazin |
Autor | D. M. Nesset |
Titel | A Critique of the Burrows, Abadi and Needham Logic |
Journal | ACM Operating Systems Review |
Jahr | 1990 |
Volume | 24 |
Nummer | 2 |
Seite(n) | 35-38 |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0