Talks and Poster Presentations (with Proceedings-Entry):
M. Samer, H. Veith:
"Parameterized Vacuity";
Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Austin, Texas, USA;
2004-11-14
- 2004-11-17; in: "Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design",
A. Hu, A. Martin (ed.);
Springer-Verlag Berlin Heidelberg,
Lecture Notes in Computer Science Vol. 3312
(2004),
ISBN: 3-540-23738-0;
322
- 336.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968607
Related Projects:
Project Head Georg Gottlob:
Games and Automata for Synthesis and Validation
Created from the Publication Database of the Vienna University of Technology.