@inproceedings{LDLPC16,
  author        = {Y. Li and K. Duan and Y. Lv and J. Pang and S. Cai},
  title         = {A novel approach to parameterized verificationof cache coherence protocols},
  booktitle     = {Proc.\ 34th IEEE International Conference on Computer Design (ICCD'16)},
  publisher     = {IEEE Computer Society},
  year          = {2016},
  pages         = {560-567}
}