Talks and Poster Presentations (with Proceedings-Entry):
M. Samer, H. Veith:
"Validity of CTL Queries Revisited";
Talk: Annual Conference of the European Association for Computer Science Logic (CSL),
Wien, Österreich;
2003-08-25
- 2003-08-30; in: "Proceedings of the 12th Annual Conference of the European Association for Computer Science Logic",
M. Baaz, J. A. Makowsky (ed.);
Springer-Verlag Berlin Heidelberg,
Lecture Notes in Computer Science Vol. 2803
(2003),
ISBN: 3-540-40801-0;
470
- 483.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968343
Created from the Publication Database of the Vienna University of Technology.