author = { Baar, Thomas AND Kindler, Ekkart },

title = { Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen eine Vorstudie },

publisher = {Professoren des Inst. für Informatik},

keywords = { Forschungsbericht },

year = {1998},

booktitle = {Informatik-Bericht / Humboldt-Universität zu Berlin ; 99},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }