Memorandum Petrinetzmodelle zur Verifikation verteilter Algorithmen

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

Seitenaufrufe: 20
seit 18.04.2021

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