@Article{         Brazdil:2014uq,
  Author        = "Br{\'a}zdil, Tom{\'a}{\v s} and Kiefer, Stefan and Ku{\v c}era, Anton{\'\i}n and Novotn{\'y}, Petr and Katoen, Joost-Pieter",
  date-added    = "2014-03-12 10:25:51 +0000",
  date-modified = "2014-03-31 13:08:06 +0000",
  EPrint        = "1401.6840",
  Month         = "01",
  Title         = "Zero-Reachability in Probabilistic Multi-Counter Automata",
  URL           = "http://arxiv.org/abs/1401.6840",
  Year          = "2014",
  bdsk-url-1    = "http://arxiv.org/abs/1401.6840",
  File          = "Zero-Reachability in Probabilistic Multi-Counter Automata - Brázdil, Kiefer, Kučera, Novotný, Katoen (0) (0) - a - a - m.pdf"
}

@Article{ Brazdil:2014uq, Author = "Br{\'a}zdil, Tom{\'a}{\v s} and Kiefer, Stefan and Ku{\v c}era, Anton{\'\i}n and Novotn{\'y}, Petr and Katoen, Joost-Pieter", date-added = "2014-03-12 10:25:51 +0000", date-modified = "2014-03-31 13:08:06 +0000", EPrint = "1401.6840", Month = "01", Title = "Zero-Reachability in Probabilistic Multi-Counter Automata", URL = "http://arxiv.org/abs/1401.6840", Year = "2014", bdsk-url-1 = "http://arxiv.org/abs/1401.6840", File = "Zero-Reachability in Probabilistic Multi-Counter Automata - Brázdil, Kiefer, Kučera, Novotný, Katoen (0) (0) - a - a - m.pdf" }