%0 Conference Paper %1 conf/serp/XuM06 %A Xu, Qingguo %A Miao, Huaikou %B Software Engineering Research and Practice %D 2006 %E Arabnia, Hamid R. %E Reza, Hassan %I CSREA Press %K dblp %P 205-211 %T Modeling Timed Automata Theory in PVS. %U http://dblp.uni-trier.de/db/conf/serp/serp2006-1.html#XuM06 %@ 1-932415-90-4

@inproceedings{conf/serp/XuM06, added-at = {2006-11-29T00:00:00.000+0100}, author = {Xu, Qingguo and Miao, Huaikou}, biburl = {https://www.bibsonomy.org/bibtex/248913baa460499a3f8d34d85c9a781eb/dblp}, booktitle = {Software Engineering Research and Practice}, crossref = {conf/serp/2006-1}, date = {2006-11-29}, description = {dblp}, editor = {Arabnia, Hamid R. and Reza, Hassan}, interhash = {1199ac2f1cafabbfd7d8b98b0c37ad16}, intrahash = {48913baa460499a3f8d34d85c9a781eb}, isbn = {1-932415-90-4}, keywords = {dblp}, pages = {205-211}, publisher = {CSREA Press}, timestamp = {2006-11-29T00:00:00.000+0100}, title = {Modeling Timed Automata Theory in PVS.}, url = {http://dblp.uni-trier.de/db/conf/serp/serp2006-1.html#XuM06}, year = 2006 }