Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Marius Bozga. Modeling and Validation of PLC-Controlled Systems: A Case Study. In Tiziana Margaria, Zongyan Qiu, Hongli Yang, editors, Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. pages 161-166, IEEE, 2012. [doi]
@inproceedings{WangZYZSMB12,
title = {Modeling and Validation of PLC-Controlled Systems: A Case Study},
author = {Rui Wang and Min Zhou and Liangze Yin and Lianyi Zhang and Jiaguang Sun and Gu Ming and Marius Bozga},
year = {2012},
doi = {10.1109/TASE.2012.33},
url = {http://doi.ieeecomputersociety.org/10.1109/TASE.2012.33},
researchr = {https://researchr.org/publication/WangZYZSMB12},
cites = {0},
citedby = {0},
pages = {161-166},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China},
editor = {Tiziana Margaria and Zongyan Qiu and Hongli Yang},
publisher = {IEEE},
isbn = {978-0-7695-4751-0},
}