Deterministic CTL Query Solving

Samer, Marko; Veith, Helmut

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}
}