DEMON: a tool for distributed system specification and analysis based on high-level stochastic Petri Nets
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1986 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230023361 |
| Erscheinungsvermerk | Vortr.: GMD-Advanced Course on Petri Nets, Bad Honnef, September 8-19, 1986 |