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]
Abstract is missing.