ID | fisCC99 |
Typ | Artikel - ein Artikel in einem Journal oder Magazin |
Autor | Stefan Fischer |
Titel | Towards the Automatic Generation of QoS-Preserving Implementations from Formal Specifications |
Journal | Computer Communications |
Jahr | 1999 |
Volume | 22 |
Nummer | 3 |
Seite(n) | 211-223 |
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
Postfach: 38092 Braunschweig
Telefon: +49 (0) 531 391-0