Contributions to Books:
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,
208
- 224.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968641
Related Projects:
Project Head Georg Gottlob:
Games and Automata for Synthesis and Validation
Created from the Publication Database of the Vienna University of Technology.