@inproceedings{VYY:TACAS09,
  author    = {Martin T. Vechev and
               Eran Yahav and
               Greta Yorsh},
  title     = {Inferring Synchronization under Limited Observability},
  booktitle = {15th International Conference on Tools and Algorithms for the Construction and Analysis of
               Systems (TACAS)},
  year      = {2009},
  volume    = {5505},
  pages     = {139-154},
  isbn      = {978-3-642-00767-5},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  ee        = {http://dx.doi.org/10.1007/978-3-642-00768-2_13},
}