@InProceedings{   EsparzaLNNSS-CAV13,
  Author        = "Esparza, Javier and Lammich, Peter and Neumann, Ren\'{e} and Nipkow, Tobias and Schimpf, Alexander and Smaus, Jan-Georg",
  Editor        = "Sharygina, N. and Veith, H.",
  BookTitle     = "Computer Aided Verification (CAV 2013)",
  date-added    = "2013-07-15 10:20:55 +0000",
  date-modified = "2013-07-15 10:20:55 +0000",
  Pages         = "?-?",
  Publisher     = "Springer",
  Series        = "LNCS",
  Title         = "A Fully Verified Executable LTL Model Checker",
  Volume        = "?",
  Year          = "2013",
  File          = "A Fully Verified Executable LTL Model Checker - Esparza, Lammich, Neumann, Nipkow, Schimpf, Smaus (0) (0) - a - a - u.pdf"
}

@InProceedings{ EsparzaLNNSS-CAV13, Author = "Esparza, Javier and Lammich, Peter and Neumann, Ren\'{e} and Nipkow, Tobias and Schimpf, Alexander and Smaus, Jan-Georg", Editor = "Sharygina, N. and Veith, H.", BookTitle = "Computer Aided Verification (CAV 2013)", date-added = "2013-07-15 10:20:55 +0000", date-modified = "2013-07-15 10:20:55 +0000", Pages = "?-?", Publisher = "Springer", Series = "LNCS", Title = "A Fully Verified Executable LTL Model Checker", Volume = "?", Year = "2013", File = "A Fully Verified Executable LTL Model Checker - Esparza, Lammich, Neumann, Nipkow, Schimpf, Smaus (0) (0) - a - a - u.pdf" }