direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2010

The VATES-Diamond as a Verifier's Best Friend
Zitatschlüssel GlesnerBartelsGoethelKleine2010
Autor Glesner, S. and Bartels, B. and Göthel, T. and Kleine, M.
Seiten pp. 81–101
Jahr 2010
ISBN 978-3-642-17171-0
DOI 10.1007/978-3-642-17172-7_5
Journal Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Verlag Springer
Serie Lecture Notes in Computer Science
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe