Media type: Book Title: Einsatz von ILF und DAWN zur Verifikation verteilter Algorithmen : eine Vorstudie Contributor: Baar, Thomas [Author]; Kindler, Ekkart [Author] imprint: Berlin: Professoren des Inst. für Informatik, 1998 Published in: Informatik-Berichte ; 9900 Extent: 10 S; graph. Darst; 30 cm Language: German RVK notation: SS 5530 : Universität Berlin, Humboldt-Universität: Informatikberichte Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1997 4 067429 001 Item ID: 30443334 Status: Loanable, place order > Ordering possible ‒ please log in