direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

The VATES-Diamond as a Verifier's Best Friend
Citation key Glesner2010
Author Sabine Glesner and Björn Bartels and Thomas Göthel and Moritz Kleine
Pages pp.81–101
Year 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
Publisher Springer
Series Lecture Notes in Computer Science
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe