KIT | KIT-Bibliothek | Impressum | Datenschutz

Semi-Entscheidungsverfahren für Fakten und Ziele in Petrinetzen

Desel, Jörg


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Publikationsjahr 1997
Sprache Deutsch
Identifikator KITopen-ID: 186797
Erscheinungsvermerk In: Tagungsband des 42. Internationalen Wissenschaftlichen Kolloquiums der TU Ilmenau, Ilmenau 1997. Hrsg.: W. Gens. S. 569-574.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page