Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Samer, H. Veith:
"Parameterized Vacuity";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Austin, Texas, USA;
14.11.2004
- 17.11.2004; in: "Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design",
A. Hu, A. Martin (Hrg.);
Springer-Verlag Berlin Heidelberg,
Lecture Notes in Computer Science Vol. 3312
(2004),
ISBN: 3-540-23738-0;
S. 322
- 336.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968607
Zugeordnete Projekte:
Projektleitung Georg Gottlob:
Games and Automata for Synthesis and Validation
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.