@article{92426,
  author = {Divjyot Sethi and Muralidhar Talupur and Sharad Malik},
  title = {Model checking unbounded concurrent lists},
  year = {2016},
  journal = {International Journal on Software Tools for Technology Transfer},
  volume = {18},
  pages = {375{\textendash}391},
  publisher = {Springer Berlin Heidelberg},
  language = {eng},
}