Normalform-Transformationen für CSP-Programme
Informatik, Forschung und Entwicklung. Bd. 3. Berlin: Springer 1988 S. 64 - 76
Erscheinungsjahr: 1988
ISBN/ISSN: 0178-3564
Publikationstyp: Zeitschriftenaufsatz
Sprache: Deutsch
Geprüft | Bibliothek |
Autoren
Zöbel, Dieter (Autor)