Publication details

Zero-Reachability in Probabilistic Multi-Counter Automata

Authors

BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín NOVOTNÝ Petr KATOEN Joost-Pieter

Type Article in Periodical
Magazine / Source CoRR
Citation
Web http://arxiv.org/abs/1401.6840
Related projects: