@Article{         2014arXiv1405.4560B,
  Author        = "{Benedikt}, M. and {Lenhardt}, R. and {Worrell}, J.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2014arXiv1405.4560B",
  ArchivePrefix = "arXiv",
  date-added    = "2018-06-15 21:05:12 +0000",
  date-modified = "2018-06-15 21:05:12 +0000",
  EPrint        = "1405.4560",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.3.1",
  Month         = "May",
  PrimaryClass  = "cs.LO",
  Title         = "{Model Checking Markov Chains Against Unambiguous Buchi Automata}",
  Year          = "2014",
  File          = "1405.4560 (0) - a - a - s.pdf",
  file-2        = "counterexample (0) - a - a - s.pdf"
}

@Article{ 2014arXiv1405.4560B, Author = "{Benedikt}, M. and {Lenhardt}, R. and {Worrell}, J.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2014arXiv1405.4560B", ArchivePrefix = "arXiv", date-added = "2018-06-15 21:05:12 +0000", date-modified = "2018-06-15 21:05:12 +0000", EPrint = "1405.4560", Journal = "ArXiv e-prints", Keywords = "Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory, F.3.1", Month = "May", PrimaryClass = "cs.LO", Title = "{Model Checking Markov Chains Against Unambiguous Buchi Automata}", Year = "2014", File = "1405.4560 (0) - a - a - s.pdf", file-2 = "counterexample (0) - a - a - s.pdf" }