@InProceedings{Esparza:Schwoon:MOPED:2001,
  Author        = "Esparza, Javier and Schwoon, Stefan",
  acmid         = "760734",
  Address       = "London, UK, UK",
  BookTitle     = "Proc. of CAV'01",
  date-added    = "2013-12-11 13:24:25 +0000",
  date-modified = "2015-02-17 16:44:30 +0000",
  ISBN          = "3-540-42345-1",
  Keywords      = "Moped",
  numpages      = "13",
  Pages         = "324--336",
  Publisher     = "Springer-Verlag",
  Series        = "CAV '01",
  Title         = "A BDD-Based Model Checker for Recursive Programs",
  URL           = "http://dl.acm.org/citation.cfm?id=647770.760734",
  doi           = "10.1007/3-540-44585-4_30",
  Year          = "2001",
  bdsk-url-1    = "http://dl.acm.org/citation.cfm?id=647770.760734",
  File          = "A BDD-Based Model Checker for Recursive Programs - Esparza, Schwoon (0) (0) - a - a - k.pdf",
  file-2        = "A BDD-Based Model Checker for Recursive Programs - Esparza, Schwoon (1) (0) - a - a - k.pdf"
}

@InProceedings{Esparza:Schwoon:MOPED:2001, Author = "Esparza, Javier and Schwoon, Stefan", acmid = "760734", Address = "London, UK, UK", BookTitle = "Proc. of CAV'01", date-added = "2013-12-11 13:24:25 +0000", date-modified = "2015-02-17 16:44:30 +0000", ISBN = "3-540-42345-1", Keywords = "Moped", numpages = "13", Pages = "324--336", Publisher = "Springer-Verlag", Series = "CAV '01", Title = "A BDD-Based Model Checker for Recursive Programs", URL = "http://dl.acm.org/citation.cfm?id=647770.760734", doi = "10.1007/3-540-44585-4_30", Year = "2001", bdsk-url-1 = "http://dl.acm.org/citation.cfm?id=647770.760734", File = "A BDD-Based Model Checker for Recursive Programs - Esparza, Schwoon (0) (0) - a - a - k.pdf", file-2 = "A BDD-Based Model Checker for Recursive Programs - Esparza, Schwoon (1) (0) - a - a - k.pdf" }