Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang. Formal Modelling of PLC Systems by BIP Components. In 37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013. pages 512-518, IEEE Computer Society, 2013. [doi]
@inproceedings{WangGLSZ13,
title = {Formal Modelling of PLC Systems by BIP Components},
author = {Rui Wang and Yong Guan and Liming Luo and Xiaoyu Song and Jie Zhang},
year = {2013},
doi = {10.1109/COMPSAC.2013.85},
url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2013.85},
researchr = {https://researchr.org/publication/WangGLSZ13},
cites = {0},
citedby = {0},
pages = {512-518},
booktitle = {37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4986-6},
}