Publication

[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.
Downloads: bibURL: https://dl.acm.org/citation.cfm?id=3232164