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