DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPICS.CONCUR.2019.27,6885,"ToHe,KrCh",Long-run average behavior of vector addition systems with states