KIT | KIT-Bibliothek | Impressum | Datenschutz

Structural simulation proofs based on ASMs even for non-terminating programs

Glesner, Sabine; Zimmermann, Wolf



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Publikationsjahr 2001
Sprache Englisch
Identifikator KITopen-ID: 32062001
Erscheinungsvermerk In: Proceedings of the ASM-Workshop, 8th International Conference on Computer Aided Systems Theory, EUROCAST 2001, Las Palmas, Spain 2001.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page