@inproceedings{92191,
  author = {Divjyot Sethi and Muralidhar Talupur and Daniel Schwartz-Narbonne and Sharad Malik},
  title = {Parameterized model checking of fine grained concurrency},
  year = {2012},
  journal = {International SPIN Workshop on Model Checking of Software},
  pages = {208{\textendash}226},
  publisher = {Springer Berlin Heidelberg},
  language = {eng},
}