[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
Brázdil, Tomáš, Chatterjee, Krishnendu, Kučera, Antonín, Novotný, Petr, Velan, Dominik, Zuleger, FlorianYear:
2018
Language:
english
DOI:
10.1145/3209108.3209191
File:
PDF, 826 KB
english, 2018