Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Buch |
| Publikationsjahr | 1988 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 140027138 |
| Erscheinungsvermerk | Berlin [u.a.] : Springer, 1988 (Informatik Fachberichte ; 197) |