Author:
Abdulla Parosh Aziz,Rabinovich Alexander
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stochastic Parity Games on Lossy Channel Systems;Quantitative Evaluation of Systems;2013
2. Stochastic Games with Lossy Channels;Foundations of Software Science and Computational Structures;2008
3. Deciding probabilistic bisimilarity over infinite-state probabilistic systems;Acta Informatica;2007-12-08
4. Model Checking Probabilistic Pushdown Automata;Logical Methods in Computer Science;2006-03-07
5. Eager Markov Chains;Automated Technology for Verification and Analysis;2006