Talks and Poster Presentations (with Proceedings-Entry):
M. Samer, H. Veith:
"Deterministic CTL Query Solving";
Talk: International Symposium on Temporal Representation and Reasoning (TIME),
Burlington, Vermont, USA;
2005-06-23
- 2005-06-25; in: "Proceedings of the 12th International Symposium on Temporal Representation and Reasoning",
J. Chomicki, D. Toman (ed.);
IEEE Computer Society,
(2005),
ISBN: 0-7695-2370-6;
156
- 165.
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC05936170
Created from the Publication Database of the Vienna University of Technology.