Model Checking via Reachability Testing for Timed Automata. Aceto, L., Burgueño, A., & Guldstrand Larsen, K. In Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS), pages 263-280, 1998.
Model Checking via Reachability Testing for Timed Automata [link]Paper  bibtex   
@inproceedings{ dblp4514087,
  title = {Model Checking via Reachability Testing for Timed Automata},
  author = {Luca Aceto and Augusto Burgueño and Kim Guldstrand Larsen},
  author_short = {Aceto, L. and Burgueño, A. and Guldstrand Larsen, K.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1998},
  key = {dblp4514087},
  id = {dblp4514087},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/AcetoBL98},
  url = {http://dx.doi.org/10.1007/BFb0054177},
  conference = {TACAS},
  pages = {263-280},
  text = {TACAS 1998:263-280},
  booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}
}

Downloads: 0