Verification of Timed Automata via Satisfiability Checking. Niebert, P., Mahfoudh, M., Asarin, E., Bozga, M., Maler, O., & Jain, N. In Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), pages 225-244, 2002.
Verification of Timed Automata via Satisfiability Checking [link]Paper  bibtex   
@inproceedings{ dblp3854841,
  title = {Verification of Timed Automata via Satisfiability Checking},
  author = {Peter Niebert and Moez Mahfoudh and Eugene Asarin and Marius Bozga and Oded Maler and Navendu Jain},
  author_short = {Niebert, P. and Mahfoudh, M. and Asarin, E. and Bozga, M. and Maler, O. and Jain, N.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp3854841},
  id = {dblp3854841},
  biburl = {http://www.dblp.org/rec/bibtex/conf/ftrtft/NiebertMABMJ02},
  url = {http://dx.doi.org/10.1007/3-540-45739-9_15},
  conference = {FTRTFT},
  pages = {225-244},
  text = {FTRTFT 2002:225-244},
  booktitle = {Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT)}
}

Downloads: 0