%0 Conference Paper %1 conf/atva/BrazdilC00V19 %A Brázdil, Tomás %A Chatterjee, Krishnendu %A Kucera, Antonín %A Novotný, Petr %A Velan, Dominik %B ATVA %D 2019 %E Chen, Yu-Fang %E Cheng, Chih-Hong %E Esparza, Javier %I Springer %K dblp %P 462-478 %T Deciding Fast Termination for Probabilistic VASS with Nondeterminism. %U http://dblp.uni-trier.de/db/conf/atva/atva2019.html#BrazdilC00V19 %V 11781 %@ 978-3-030-31784-3

@inproceedings{conf/atva/BrazdilC00V19, added-at = {2021-04-09T00:00:00.000+0200}, author = {Brázdil, Tomás and Chatterjee, Krishnendu and Kucera, Antonín and Novotný, Petr and Velan, Dominik}, biburl = {https://www.bibsonomy.org/bibtex/2ceac447396ccf26e58d3dec0ebe70a60/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2019}, editor = {Chen, Yu-Fang and Cheng, Chih-Hong and Esparza, Javier}, ee = {https://doi.org/10.1007/978-3-030-31784-3_27}, interhash = {301e2f48b959e8e22ecc7f1689859c78}, intrahash = {ceac447396ccf26e58d3dec0ebe70a60}, isbn = {978-3-030-31784-3}, keywords = {dblp}, pages = {462-478}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:42.000+0200}, title = {Deciding Fast Termination for Probabilistic VASS with Nondeterminism.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2019.html#BrazdilC00V19}, volume = 11781, year = 2019 }