KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
DOI: 10.5445/IR/200035215

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

Düpmeier, C.



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