TY -
BOOK
AU - Humboldt-Universität zu Berlin
AU - Weber, Michael
TI -
DAWN
Petrinetzmodelle zur Verifikation verteilter Algorithmen
PB - Professoren des Inst. für Informatik
KW - Forschungsbericht
PY - 1997
BT - Informatik-Berichte ; 88
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -