%0 Conference Paper %1 conf/compsac/ZhangXDZM13 %A Zhang, Yu %A Xie, Fei %A Dong, Yunwei %A Zhou, Xingshe %A Ma, Chunyan %B COMPSAC %D 2013 %I IEEE Computer Society %K dblp %P 539-548 %T Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems. %U http://dblp.uni-trier.de/db/conf/compsac/compsac2013.html#ZhangXDZM13 %@ 978-0-7695-4986-6

@inproceedings{conf/compsac/ZhangXDZM13, added-at = {2018-07-16T00:00:00.000+0200}, author = {Zhang, Yu and Xie, Fei and Dong, Yunwei and Zhou, Xingshe and Ma, Chunyan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23d83f9999059d225eb23800fc220e8f2/dblp}, booktitle = {COMPSAC}, crossref = {conf/compsac/2013}, ee = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2013.88}, interhash = {26b726147bbdb47bcbf1047685ef0fc9}, intrahash = {3d83f9999059d225eb23800fc220e8f2}, isbn = {978-0-7695-4986-6}, keywords = {dblp}, pages = {539-548}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T21:19:29.000+0200}, title = {Cyber/Physical Co-verification for Developing Reliable Cyber-physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2013.html#ZhangXDZM13}, year = 2013 }