@Article{         13BEKK-FMSD,
  Author        = "Br{\'a}zdil, Tom\'{a}\v{s} and Esparza, Javier and Kiefer, Stefan and Ku\v{c}era, Anton\'{\i}n",
  date-added    = "2013-09-25 10:46:01 +0000",
  date-modified = "2015-02-12 14:12:01 +0000",
  Journal       = "Formal Methods in System Design",
  Keywords      = "readme",
  Number        = "2",
  Pages         = "124--163",
  Title         = "Analyzing probabilistic pushdown automata",
  Volume        = "43",
  Year          = "2013",
  File          = "Analyzing probabilistic pushdown automata - Brázdil, Esparza, Kiefer, Kucera (0) (0) - a - a - n.pdf"
}

@Article{ 13BEKK-FMSD, Author = "Br{\'a}zdil, Tom\'{a}\v{s} and Esparza, Javier and Kiefer, Stefan and Ku\v{c}era, Anton\'{\i}n", date-added = "2013-09-25 10:46:01 +0000", date-modified = "2015-02-12 14:12:01 +0000", Journal = "Formal Methods in System Design", Keywords = "readme", Number = "2", Pages = "124--163", Title = "Analyzing probabilistic pushdown automata", Volume = "43", Year = "2013", File = "Analyzing probabilistic pushdown automata - Brázdil, Esparza, Kiefer, Kucera (0) (0) - a - a - n.pdf" }