Talks and Poster Presentations (with Proceedings-Entry):

E. Clarke, M. Talupur, H. Veith, D. Wang:
"SAT Based Predicate Abstraction for Hardware Verification";
Talk: SAT 2003, Satisfiably Testing: 6 Internationall Conference, Santa Margherita, Ligurien, Italien (invited); 05-05-2003 - 05-08-2003; in: "Lecture Notes in Computer Science", Springer-Verlag Heidelberg, Volume 2919 / 2004 (2004), ISBN: 3-540-20851-8; 78 - 92.

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.