Verifying Distributed Controllers with Local Invariants.

Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu

Browse the full QRS paper archive.