Dawn. Petrinetz-Modelle zur Verifikation verteilter Algorithmen

Desel, Jörg; Feiheit, J.; Kindler, Ekkart; Peuker, S.; Reisig, W.; Vesper, T.; Voelzer, H.; Walter, Rolf; Weber, M.

Seitenaufrufe: 11
seit 14.05.2018

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