@InProceedings{   DBLP:conf/lata/TabakovV07,
  Author        = "Tabakov, Deian and Vardi, Moshe Y.",
  bibsource     = "dblp computer science bibliography, http://dblp.org",
  biburl        = "http://dblp.uni-trier.de/rec/bib/conf/lata/TabakovV07",
  BookTitle     = "{LATA} 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications.",
  date-added    = "2015-10-07 15:28:48 +0000",
  date-modified = "2015-10-07 15:28:48 +0000",
  Pages         = "565--576",
  timestamp     = "Mon, 15 Jun 2015 11:59:26 +0200",
  Title         = "Model Checking Buechi Specifications",
  Year          = "2007",
  File          = "Model Checking Buechi Specifications - Tabakov, Vardi (0) (0) - a - a - i.pdf",
  file-2        = "Model Checking Buechi Specifications - Tabakov, Vardi (0) (0) - a - a - i.ps"
}

@InProceedings{ DBLP:conf/lata/TabakovV07, Author = "Tabakov, Deian and Vardi, Moshe Y.", bibsource = "dblp computer science bibliography, http://dblp.org", biburl = "http://dblp.uni-trier.de/rec/bib/conf/lata/TabakovV07", BookTitle = "{LATA} 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications.", date-added = "2015-10-07 15:28:48 +0000", date-modified = "2015-10-07 15:28:48 +0000", Pages = "565--576", timestamp = "Mon, 15 Jun 2015 11:59:26 +0200", Title = "Model Checking Buechi Specifications", Year = "2007", File = "Model Checking Buechi Specifications - Tabakov, Vardi (0) (0) - a - a - i.pdf", file-2 = "Model Checking Buechi Specifications - Tabakov, Vardi (0) (0) - a - a - i.ps" }