Formal methods for concurrency. Tagungsband zum Workshop der GI-Fachgruppen 0.0.1 "Petrinetze und verwandte Systemmodelle" und 0.1.7 "Spezifikation und Semantik"
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsband |
| Publikationsjahr | 1996 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 276496 |
| Erscheinungsvermerk | Dresden 1996. (Technische Berichte. Fakultät Informatik, Technische Universität Dresden. 96,16.) |