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);
2003-05-05
- 2003-05-08; 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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968345
Related Projects:
Project Head Georg Gottlob:
Games and Automata for Synthesis and Validation
Created from the Publication Database of the Vienna University of Technology.