@InProceedings{Cohen:CAV2010-480,
  author =       "Ernie Cohen and Micha{\l} Moskal and Wolfram Schulte
                 and Stephan Tobies",
  title =        "Local Verification of Global Invariants in Concurrent
                 Programs",
  pages =        "480--494",
  ee =           "http://dx.doi.org/10.1007/978-3-642-14295-6_42",
  booktitle =    "Computer Aided Verification (CAV 2010)",
  editor =       "Byron Cook and Paul Jackson and Tayssir Touili",
  address =      "Edinburgh, UK",
  year =         "2010",
  month =        jul,
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "6174",
}