A Compiler for the Parallel Execution of Estelle Specifications
D. Kreuz, R. Gotzhein
in. H. König (Hrsg.), Formale Methoden für Verteilte Systeme, Fokus-Band 8, Saur-Verlag, München, 1993
Zusammenfassung
Übergeordnete Seite: Jahr 1993 | |
Feedback | |
Zu den Kontaktdetails des Verantwortlichen dieser Seite |
English | |
This page in english. Diese Seite auf englisch. |