Buchbeiträge:
E. Clarke, H. Veith:
"Counterexamples Revisited: Principles, Algorithms, Applications";
in: "Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of his 64th Birthday",
Springer, LNCS,
Heidelberg,
2004,
ISBN: 3-540-21002-4,
S. 208
- 224.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968641
Zugeordnete Projekte:
Projektleitung Georg Gottlob:
Games and Automata for Synthesis and Validation
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.