Author:
Abdulla P.A.,Henda N.B.,Sandberg S.,Mayr R.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS;Fundamentals of Computation Theory;2015
2. Zero-reachability in probabilistic multi-counter automata;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
3. Carrying Probabilities to the Infinite World;CONCUR 2011 – Concurrency Theory;2011