Talks and Poster Presentations (with Proceedings-Entry):
M. Samer, H. Veith:
"A Syntactic Characterization of Distributive LTL Queries";
Talk: International Colloquium on Automata, Languages and Programming (ICALP),
Turku, Finnland;
07-12-2004
- 07-16-2004; in: "Proceedings of the 31st International Colloquium on Automata, Languages and Programming",
J. Diaz et al. (ed.);
Springer-Verlag Berlin Heidelberg,
Lecture Notes in Computer Science Vol. 3142
(2004),
ISBN: 3-540-22849-7;
1099
- 1110.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968399
Related Projects:
Project Head Georg Gottlob:
Games and Automata for Synthesis and Validation
Created from the Publication Database of the Vienna University of Technology.