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