KIT | KIT-Bibliothek | Impressum

Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen

Desel, Jörg; Freiheit, J.; Kindler, E.; Reisig, W.; Vesper, T.; Voelzer, H.; Walter, Rolf



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buch
Jahr 1996
Sprache Deutsch
Identifikator KITopen ID: 276596
Erscheinungsvermerk Berlin 1996. (Informatik-Berichte der Humboldt- Universität zu Berlin. 67.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page