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:

Related Projects:
Project Head Georg Gottlob:
Games and Automata for Synthesis and Validation

Created from the Publication Database of the Vienna University of Technology.