KIT | KIT-Bibliothek | Impressum | Datenschutz

Verifying intuition - ILF checks DAWN proofs

Baar, Thomas; Kindler, Ekkart; Voelzer, Hagen


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 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