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",
Online library catalogue of the TU Vienna:
Project Head Georg Gottlob:
Games and Automata for Synthesis and Validation
Created from the Publication Database of the Vienna University of Technology.