@InProceedings{Cohen:SSV2009-85,
  author =       "Ernie Cohen and Micha{\l} Moskal and Wolfram Schulte
                 and Stephan Tobies",
  title =        "A Precise Yet Efficient Memory Model for {C}",
  pages =        "85--103",
  booktitle =    "Workshop on Systems Software Verification (SSV 2009)",
  year =         "2009",
  publisher =    "Elsevier Science B.V.",
  series =       "Electronic Notes in Theoretical Computer Science",
  volume =       "254",
  ee =           "http://dx.doi.org/10.1016/j.entcs.2009.09.061",
}