Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng 0001, Yingying Zhang. Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. In 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012. pages 232, IEEE, 2012. [doi]
@inproceedings{MyersWZZZ12, title = {Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems}, author = {Chris J. Myers and Jian Wu and Zhen Zhang and Hao Zheng 0001 and Yingying Zhang}, year = {2012}, doi = {10.1109/ICCPS.2012.50}, url = {http://doi.ieeecomputersociety.org/10.1109/ICCPS.2012.50}, researchr = {https://researchr.org/publication/MyersWZZZ12}, cites = {0}, citedby = {0}, pages = {232}, booktitle = {2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, Beijing, China, April 17-19, 2012}, publisher = {IEEE}, isbn = {978-1-4673-1537-1}, }