Modeling Timed Automata Theory in PVS

Qingguo Xu, Huaikou Miao. Modeling Timed Automata Theory in PVS. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 1. pages 205-211, CSREA Press, 2006.

@inproceedings{XuM06:5,
  title = {Modeling Timed Automata Theory in PVS},
  author = {Qingguo Xu and Huaikou Miao},
  year = {2006},
  tags = {automata theory, modeling},
  researchr = {https://researchr.org/publication/XuM06%3A5},
  cites = {0},
  citedby = {0},
  pages = {205-211},
  booktitle = {Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 1},
  editor = {Hamid R. Arabnia and Hassan Reza},
  publisher = {CSREA Press},
  isbn = {1-932415-90-4},
}