KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifying intuition - ILF checks DAWN proofs

Baar, Thomas; Kindler, Ekkart; Voelzer, Hagen



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Jahr 1999
Sprache Deutsch
Identifikator KITopen ID: 328699
Erscheinungsvermerk In: Application and theory of Petri nets 1999. Ed.: S. Donatelli. Berlin 1999. S. 404-423. (Lecture notes in computer science. 1639.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page