[Back]


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.