Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
M. Samer, H. Veith:
"A Syntactic Characterization of Distributive LTL Queries";
Vortrag: International Colloquium on Automata, Languages and Programming (ICALP),
Turku, Finnland;
12.07.2004
- 16.07.2004; in: "Proceedings of the 31st International Colloquium on Automata, Languages and Programming",
J. Diaz et al. (Hrg.);
Springer-Verlag Berlin Heidelberg,
Lecture Notes in Computer Science Vol. 3142
(2004),
ISBN: 3-540-22849-7;
S. 1099
- 1110.
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968399
Zugeordnete Projekte:
Projektleitung Georg Gottlob:
Games and Automata for Synthesis and Validation
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.