_id,doi,title
6885,10.4230/LIPICS.CONCUR.2019.27,Long-run average behavior of vector addition systems with states