KIT | KIT-Bibliothek | Impressum | Datenschutz

Information System Behavior Specification by High-Level Petri Nets

Oberweis, Andreas; Sander, Peter



Originalveröffentlichung
DOI: 10.1145/237496.237498
Scopus
Zitationen: 27
Web of Science
Zitationen: 21
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Jahr 1996
Sprache Englisch
Identifikator ISSN: 0734-2047, 1046-8188, 1558-1152, 1558-2868
KITopen-ID: 1000091355
Erschienen in ACM transactions on information systems
Band 14
Heft 4
Seiten 380-420
Nachgewiesen in Web of Science
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page