@Article{         DBLP:journals/lmcs/AbdullaHM07,
  Author        = "Abdulla, Parosh Aziz and Henda, Noomene Ben and Mayr, Richard",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2014-01-08 10:20:37 +0000",
  date-modified = "2014-01-08 10:20:50 +0000",
  ee            = "http://dx.doi.org/10.2168/LMCS-3(4:7)2007",
  Journal       = "Logical Methods in Computer Science",
  Keywords      = "decisive Markov chains",
  Number        = "4",
  Title         = "Decisive Markov Chains",
  Volume        = "3",
  Year          = "2007",
  File          = "Decisive Markov Chains - Abdulla, Henda, Mayr (0) (0) - a - a - m.pdf"
}

@Article{ DBLP:journals/lmcs/AbdullaHM07, Author = "Abdulla, Parosh Aziz and Henda, Noomene Ben and Mayr, Richard", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2014-01-08 10:20:37 +0000", date-modified = "2014-01-08 10:20:50 +0000", ee = "http://dx.doi.org/10.2168/LMCS-3(4:7)2007", Journal = "Logical Methods in Computer Science", Keywords = "decisive Markov chains", Number = "4", Title = "Decisive Markov Chains", Volume = "3", Year = "2007", File = "Decisive Markov Chains - Abdulla, Henda, Mayr (0) (0) - a - a - m.pdf" }