@Article{         KuceraEsparzaMayr:LMCS:2006,
  Author        = "Kucera, Anton\'{\i}n and Esparza, Javier and Mayr, Richard",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2013-04-19 08:59:02 +0000",
  date-modified = "2023-08-24 12:48:18 +0200",
  ee            = "http://dx.doi.org/10.2168/LMCS-2(1:2)2006",
  Journal       = "Logical Methods in Computer Science",
  Keywords      = "probabilistic pushdown automata",
  Number        = "1",
  Title         = "Model Checking Probabilistic Pushdown Automata",
  Volume        = "2",
  Year          = "2006",
  bdsk-url-1    = "http://dx.doi.org/10.2168/LMCS-2(1:2)2006",
  File          = "Model Checking Probabilistic Pushdown Automata - Kucera, Esparza, Mayr (0) (0) - a - a - y.pdf"
}

@Article{ KuceraEsparzaMayr:LMCS:2006, Author = "Kucera, Anton\'{\i}n and Esparza, Javier and Mayr, Richard", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2013-04-19 08:59:02 +0000", date-modified = "2023-08-24 12:48:18 +0200", ee = "http://dx.doi.org/10.2168/LMCS-2(1:2)2006", Journal = "Logical Methods in Computer Science", Keywords = "probabilistic pushdown automata", Number = "1", Title = "Model Checking Probabilistic Pushdown Automata", Volume = "2", Year = "2006", bdsk-url-1 = "http://dx.doi.org/10.2168/LMCS-2(1:2)2006", File = "Model Checking Probabilistic Pushdown Automata - Kucera, Esparza, Mayr (0) (0) - a - a - y.pdf" }