KIT | KIT-Bibliothek | Impressum | Datenschutz

Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel

Düpmeier, C.

Open Access Logo


Volltext §
DOI: 10.5445/IR/200035215
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik (IAI)
Publikationstyp Hochschulschrift
Publikationsjahr 1994
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-AAA2000352157
KITopen-ID: 200035215
Reportnummer: KFK-5279
HGF-Programm 52.01.02 (Vor POF, LK 01)
Serie KfK-Berichte ; 5279
Erscheinungsvermerk KfK-5279 (Januar 94) Dissertation, Universität Koblenz 1993
Art der Arbeit Dissertation
Prüfungsdaten 01.01.1993
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page