@Misc{            EsparzaSchwoon,
  Author        = "Esparza, Javier and Schwoon, Stefan",
  date-added    = "2013-10-25 09:22:08 +0000",
  date-modified = "2013-10-25 09:23:32 +0000",
  Keywords      = "project proposal",
  School        = "School of Informatics",
  Title         = "Project Proposal: An Automata-Theoretic Approach to Software Model-Checking",
  Year          = "2001",
  File          = "Project Proposal An Automata-Theoretic Approach to Software Model-Checking - Esparza, Schwoon (0) (0) - a - a - a.pdf"
}

@Misc{ EsparzaSchwoon, Author = "Esparza, Javier and Schwoon, Stefan", date-added = "2013-10-25 09:22:08 +0000", date-modified = "2013-10-25 09:23:32 +0000", Keywords = "project proposal", School = "School of Informatics", Title = "Project Proposal: An Automata-Theoretic Approach to Software Model-Checking", Year = "2001", File = "Project Proposal An Automata-Theoretic Approach to Software Model-Checking - Esparza, Schwoon (0) (0) - a - a - a.pdf" }