Model-Checking of Correctness Conditions for Concurrent Objects (bibtex)

by Rajeev Alur and Kenneth L. McMillan and Doron A. Peled

Reference:

Model-Checking of Correctness Conditions for Concurrent Objects (Rajeev Alur and Kenneth L. McMillan and Doron A. Peled), In Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, July 27-30, 1996, 1996.

Bibtex Entry:

@inproceedings{DBLP:conf/lics/AlurMP96,
  author    = {Rajeev Alur and
               Kenneth L. McMillan and
               Doron A. Peled},
  title     = {Model-Checking of Correctness Conditions for Concurrent Objects},
  booktitle = {Proceedings, 11th Annual {IEEE} Symposium on Logic in Computer Science,
               New Brunswick, New Jersey, USA, July 27-30, 1996},
  pages     = {219--228},
  year      = {1996},
  url       = {LICS96.pdf},
  doi       = {10.1109/LICS.1996.561322},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lics/AlurMP96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}