Petri-Netze zur Spezifikation und Validation des logischen und stochastischen Verhaltens diskreter nicht-sequentieller Systeme
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1987 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 230024758 |
| Erscheinungsvermerk | Vortr.: Universitaet Karlsruhe, 11.Juni 1987 |