Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics. Aceto, L. and Laroussinie, F. In Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings, pages 125–136, 1999.
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/mfcs/AcetoL99,
  author    = {Luca Aceto and
               Fran{\c{c}}ois Laroussinie},
  title     = {Is Your Model Checker on Time? On the Complexity of Model Checking
               for Timed Modal Logics},
  booktitle = {Mathematical Foundations of Computer Science 1999, 24th International
               Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
               Proceedings},
  pages     = {125--136},
  year      = {1999},
  crossref  = {DBLP:conf/mfcs/1999},
  url       = {https://doi.org/10.1007/3-540-48340-3\_12},
  doi       = {10.1007/3-540-48340-3\_12},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfcs/AcetoL99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0