[LiDJPZLC18] An Automatic Proving Approach to Parameterized Verification Li, Y.; Duan, K.; Jansen, D. N.; Pang, J.; Zhang, L.; Lv, Y. and Cai, S. In ACM Trans. Comput. Log., 19: 27:1-27:25, 2018. doi.. 
Downloads: bibURL: https://doi.org/10.1145/3232164