REWERSE-RP-2005-72

Marko Samer, Helmut Veith:
Deterministic CTL Query Solving.


In: Proceedings of 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), Burlington, Vermont, USA (23rd - 25th June 2005)
© IEEE Computer Society press

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-72

BibTeX:

@inproceedings{REWERSE-RP-2005-72,
	author = {Marko Samer and Helmut Veith},
	title = {Deterministic CTL Query Solving},
	booktitle = {Proceedings of 12th International Symposium on Temporal Representation and Reasoning, Burlington, Vermont, USA (23rd--25th June 2005)},
	year = {2005},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-72}
}