@inproceedings{LPL15,
  author        = {Y. Li and J. Pang and Y. Lv and D. Fan and S. Cao and and K. Duan},
  title         = {{paraVerifier}: {A}n automatic framework for proving parameterized cache coherence protocols},
  booktitle     = {Proc.\ 13th International Symposium on Automated Technology for Verification and Analysis (ATVA'15)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2015},
  volume        = {9364},
  pages         = {207-213}
}