@InProceedings{   DBLP:conf/cav/HeizmannHP13,
  Author        = "Heizmann, Matthias and Hoenicke, Jochen and Podelski, Andreas",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "CAV",
  date-added    = "2013-10-25 08:47:11 +0000",
  date-modified = "2013-11-14 12:26:36 +0000",
  ee            = "http://dx.doi.org/10.1007/978-3-642-39799-8\_2",
  Keywords      = "readme",
  Pages         = "36-52",
  Title         = "Software Model Checking for People Who Love Automata",
  Year          = "2013",
  bdsk-url-1    = "http://link.springer.com/chapter/10.1007\%2F978-3-642-39799-8\_2",
  File          = "Software Model Checking for People Who Love Automata - Heizmann, Hoenicke, Podelski (0) (0) - a - a - v.pdf"
}

@InProceedings{ DBLP:conf/cav/HeizmannHP13, Author = "Heizmann, Matthias and Hoenicke, Jochen and Podelski, Andreas", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "CAV", date-added = "2013-10-25 08:47:11 +0000", date-modified = "2013-11-14 12:26:36 +0000", ee = "http://dx.doi.org/10.1007/978-3-642-39799-8_2", Keywords = "readme", Pages = "36-52", Title = "Software Model Checking for People Who Love Automata", Year = "2013", bdsk-url-1 = "http://link.springer.com/chapter/10.1007\%2F978-3-642-39799-8_2", File = "Software Model Checking for People Who Love Automata - Heizmann, Hoenicke, Podelski (0) (0) - a - a - v.pdf" }