@InProceedings{Daum:LPAR05-381,
  author =       "Matthias Daum and Stefan Maus and Norbert Schirmer and
                 M. Nassim Seghir",
  title =        "Integration of a Software Model Checker into
                 {Isabelle}",
  pages =        "381--395",
  ee =           "http://dx.doi.org/10.1007/11591191_27",
  editor =       "Geoff Sutcliffe and Andrei Voronkov",
  booktitle =    "Logic for Programming, Artificial Intelligence, and
                 Reasoning, 12th International Conference, LPAR 2005,
                 Montego Bay, Jamaica, December 2--6, 2005,
                 Proceedings",
  year =         "2005",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3835",
  ISBN =         "3-540-30553-X",
}