@inproceedings{CLP18, author = {J. Cao and Y. Li and J. Pang}, title = {{L-CMP}: An automatic learning-based parameterized verification tool}, booktitle = {Proc.\ 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE'18)}, publisher = {ACM Press}, year = {2018}, pages = {892-895} }