KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifikation von Informationssystemen durch Auswertung halbgeordneter Petrinetz-Abläufe: Theoretische Untersuchungen, Methodik und Werkzeuge - eine Projektübersicht

Desel, Jörg; Oberweis, Andreas



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Deutsch
Identifikator KITopen-ID: 247995
Verlag AIFB
Umfang 25 S.
Serie Bericht / Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe ; 324
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page