Author:
Abdulla Parosh,Baier Christel,Iyer Purushothaman,Jonsson Bengt
Publisher
Springer Berlin Heidelberg
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. What can we monitor over unreliable channels?;International Journal on Software Tools for Technology Transfer;2021-06-30
2. Sliding Window Abstraction for Infinite Markov Chains;Computer Aided Verification;2009
3. Stochastic Games with Lossy Channels;Foundations of Software Science and Computational Structures;2008
4. Termination Problems in Chemical Kinetics;CONCUR 2008 - Concurrency Theory;2008
5. Deciding probabilistic bisimilarity over infinite-state probabilistic systems;Acta Informatica;2007-12-08