Details for the publication LiDJPZLC18.

Yongjian Li, Kaiqiang Duan, David N. Jansen (), Jun Pang, Lijun Zhang, Yi Lv, Shaowei Cai: An Automatic Proving Approach to Parameterized Verification. In ACM Trans. Comput. Log. 19(4):27:1-27:25, 2018. DOI BIB