@InProceedings{   VardiWolper:Automata:LICS:1986,
  Author        = "Vardi, Moshe Y. and Wolper, Pierre",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "LICS",
  date-added    = "2012-12-29 15:01:00 +0000",
  date-modified = "2016-11-14 10:50:40 +0000",
  Keywords      = "model checking and classic",
  Pages         = "332--344",
  Title         = "An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)",
  Year          = "1986",
  bdsk-url-1    = "http://orbi.ulg.ac.be/handle/2268/116609",
  File          = "An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) - Vardi, Wolper (0) (0) - a - a - b.pdf"
}

@InProceedings{ VardiWolper:Automata:LICS:1986, Author = "Vardi, Moshe Y. and Wolper, Pierre", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "LICS", date-added = "2012-12-29 15:01:00 +0000", date-modified = "2016-11-14 10:50:40 +0000", Keywords = "model checking and classic", Pages = "332--344", Title = "An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)", Year = "1986", bdsk-url-1 = "http://orbi.ulg.ac.be/handle/2268/116609", File = "An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) - Vardi, Wolper (0) (0) - a - a - b.pdf" }