Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
E. Clarke, M. Talupur, H. Veith, D. Wang:
"SAT Based Predicate Abstraction for Hardware Verification";
Vortrag: SAT 2003, Satisfiably Testing: 6 Internationall Conference,
Santa Margherita, Ligurien, Italien (eingeladen);
05.05.2003
- 08.05.2003; in: "Lecture Notes in Computer Science",
Springer-Verlag Heidelberg,
Volume 2919 / 2004
(2004),
ISBN: 3-540-20851-8;
S. 78
- 92.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968345
Zugeordnete Projekte:
Projektleitung Georg Gottlob:
Games and Automata for Synthesis and Validation
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.