KIT | KIT-Bibliothek | Impressum | Datenschutz

POM semantics for 1-safe Petri nets

Garcez, Edelweis; Nascimento, Francisco; Rosenstiel, Wolfgang


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 1998
Sprache Englisch
Identifikator KITopen-ID: 312898
Erscheinungsvermerk In: WOLLIC 98, Sao Paulo, Brazil 1998.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page