%0 Conference Paper %1 conf/lics/BrazdilCK0VZ18 %A Brázdil, Tomás %A Chatterjee, Krishnendu %A Kucera, Antonín %A Novotný, Petr %A Velan, Dominik %A Zuleger, Florian %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K dblp %P 185-194 %T Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BrazdilCK0VZ18

@inproceedings{conf/lics/BrazdilCK0VZ18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Brázdil, Tomás and Chatterjee, Krishnendu and Kucera, Antonín and Novotný, Petr and Velan, Dominik and Zuleger, Florian}, biburl = {https://www.bibsonomy.org/bibtex/224d47b9c664dcd90e9ae439ea333fce3/dblp}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://doi.org/10.1145/3209108.3209191}, interhash = {e1e79a54bf673c7779d22f8145006b6f}, intrahash = {24d47b9c664dcd90e9ae439ea333fce3}, keywords = {dblp}, pages = {185-194}, publisher = {ACM}, timestamp = {2024-04-10T20:03:46.000+0200}, title = {Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BrazdilCK0VZ18}, year = 2018 }