![[logo of the networked systems group]](/en/images/vs.gif)
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
Abstract
 | Superordinated page: Year 1993 |
| | Feedback |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |