Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu. Verifying Distributed Controllers with Local Invariants. In 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, August 1-3, 2016. pages 120-131, IEEE, 2016. [doi]
@inproceedings{WangAMCX16,
title = {Verifying Distributed Controllers with Local Invariants},
author = {Yiqun Wang and Shengwei An and Xiaoxing Ma and Chun Cao and Chang Xu},
year = {2016},
doi = {10.1109/QRS.2016.24},
url = {http://dx.doi.org/10.1109/QRS.2016.24},
researchr = {https://researchr.org/publication/WangAMCX16},
cites = {0},
citedby = {0},
pages = {120-131},
booktitle = {2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, August 1-3, 2016},
publisher = {IEEE},
isbn = {978-1-5090-4127-5},
}