KIT | KIT-Bibliothek | Impressum | Datenschutz

Validation of information systems by analyzing partially ordered Petri net processes

Desel, Jörg


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buch
Publikationsjahr 1998
Sprache Englisch
Identifikator KITopen-ID: 306098
Erscheinungsvermerk Karlsruhe 1998. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 375.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page