%0 Conference Paper %1 conf/ithings/YinXH11 %A Yin, Xia %A Xu, Qingguo %A Han, Kunliang %B iThings/CPSCom %D 2011 %I IEEE Computer Society %K dblp %P 438-443 %T Modeling Predicate Abstraction of Timed Automata in PVS. %U http://dblp.uni-trier.de/db/conf/ithings/ithings2011.html#YinXH11 %@ 978-1-4577-1976-9

@inproceedings{conf/ithings/YinXH11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Yin, Xia and Xu, Qingguo and Han, Kunliang}, biburl = {https://www.bibsonomy.org/bibtex/2f955f2589e7c5d859dcd7df2856704b3/dblp}, booktitle = {iThings/CPSCom}, crossref = {conf/ithings/2011}, ee = {https://doi.ieeecomputersociety.org/10.1109/iThings/CPSCom.2011.21}, interhash = {5b58bf10a41cf1b2567a705d67efd7ce}, intrahash = {f955f2589e7c5d859dcd7df2856704b3}, isbn = {978-1-4577-1976-9}, keywords = {dblp}, pages = {438-443}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:05:58.000+0200}, title = {Modeling Predicate Abstraction of Timed Automata in PVS.}, url = {http://dblp.uni-trier.de/db/conf/ithings/ithings2011.html#YinXH11}, year = 2011 }