@inproceedings{92321,
  author = {Divjyot Sethi and Muralidhar Talupur and Sharad Malik},
  title = {Using flow specifications of parameterized cache coherence protocols for verifying deadlock freedom},
  year = {2014},
  journal = {International Symposium on Automated Technology for Verification and Analysis},
  pages = {330{\textendash}347},
  publisher = {Springer International Publishing},
  language = {eng},
}