ID | Got92 |
Typ | Artikel - ein Artikel in einem Journal oder Magazin |
Autor | R. Gotzheim |
Titel | Temporal logic and applications - a tutorial |
Journal | Computer Networks and ISDN Systems |
Jahr | 1992 |
Monat | Mai |
Volume | 24 |
Nummer | 3 |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0