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

{"_id":"CC5DiNdgD4zsSHNBe","bibbaseid":"aceto-laroussinie-isyourmodelcheckerontimeonthecomplexityofmodelcheckingfortimedmodallogics-1999","downloads":0,"creationDate":"2016-02-18T15:10:12.499Z","title":"Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics","author_short":["Aceto, L.","Laroussinie, F."],"year":1999,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["François"],"propositions":[],"lastnames":["Laroussinie"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/mfcs/AcetoL99,\n author = {Luca Aceto and\n Fran{\\c{c}}ois Laroussinie},\n title = {Is Your Model Checker on Time? On the Complexity of Model Checking\n for Timed Modal Logics},\n booktitle = {Mathematical Foundations of Computer Science 1999, 24th International\n Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,\n Proceedings},\n pages = {125--136},\n year = {1999},\n crossref = {DBLP:conf/mfcs/1999},\n url = {https://doi.org/10.1007/3-540-48340-3\\_12},\n doi = {10.1007/3-540-48340-3\\_12},\n timestamp = {Wed, 24 May 2017 15:40:45 +0200},\n biburl = {https://dblp.org/rec/bib/conf/mfcs/AcetoL99},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Laroussinie, F."],"key":"DBLP:conf/mfcs/AcetoL99","id":"DBLP:conf/mfcs/AcetoL99","bibbaseid":"aceto-laroussinie-isyourmodelcheckerontimeonthecomplexityofmodelcheckingfortimedmodallogics-1999","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-48340-3_12"},"downloads":0},"search_terms":["model","checker","time","complexity","model","checking","timed","modal","logics","aceto","laroussinie"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}