by Marko Samer, Helmut Veith
Reference:
Deterministic CTL Query SolvingMarko Samer, Helmut Veith12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pages 156–165, 2005, IEEE Computer Society.
Bibtex Entry:
@inproceedings{DBLP:conf/time/SamerV05,
author = {Marko Samer and Helmut Veith},
title = {Deterministic CTL Query Solving},
year = {2005},
booktitle = {12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA},
pages = {156--165},
publisher = {IEEE Computer Society},
isbn = {0-7695-2370-6},
url = {http://dx.doi.org/10.1109/TIME.2005.20}
}