KIT | KIT-Bibliothek | Impressum | Datenschutz

ILF and DAWN for verifying distributed algorithms - an idea for a tool

Baar, Thomas; Kindler, Ekkart



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1999
Sprache Englisch
Identifikator KITopen ID: 308899
Erscheinungsvermerk Fundamenta informaticae 37 (1999) H. 3 S. 201-211.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page