Automated validation of communication system designs using high-level Petri-nets
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1987 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230024991 |
| Erscheinungsvermerk | Vortr.: IBM Forschungslaboratorium, Rueschlikon, CH, 20.August 1987 Vortr.: Europaeisches Zentrum fuer Netzwerkforschung, Heidelberg, 11.September 1987 |