@inproceedings{conf/tacas/BauerMSH10,
  added-at = {2010-03-15T00:00:00.000+0100},
  author = {Bauer, Sebastian S. and Mayer, Philip and Schroeder, Andreas and Hennicker, Rolf},
  biburl = {http://www.bibsonomy.org/bibtex/26aed1f2bd48f0ca8fc8e23fe73dae235/dblp},
  booktitle = {TACAS},
  crossref = {conf/tacas/2010},
  date = {2010-03-15},
  description = {dblp},
  editor = {Esparza, Javier and Majumdar, Rupak},
  ee = {http://dx.doi.org/10.1007/978-3-642-12002-2_15},
  interhash = {cdc191300e4312e36d819738208e1f00},
  intrahash = {6aed1f2bd48f0ca8fc8e23fe73dae235},
  isbn = {978-3-642-12001-5},
  keywords = {dblp},
  pages = {175-189},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2010-03-15T00:00:00.000+0100},
  title = {On Weak Modal Compatibility, Refinement, and the MIO Workbench.},
  url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2010.html#BauerMSH10},
  volume = 6015,
  year = 2010
}