Author:
Abdulla P.A.,Bertrand N.,Rabinovich A.,Schnoebelen Ph.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference21 articles.
1. Verification of probabilistic systems with faulty communication;Abdulla,2003
2. Verifying programs with unreliable channels;Abdulla;Information and Computation,1996
3. Undecidable verification problems for programs with unreliable channels;Abdulla;Information and Computation,1996
4. Simulating perfect channels with probabilistic lossy channels;Abdulla;Information and Computation,2005
5. Establishing qualitative properties for probabilistic lossy channel systems: an algorithmic approach;Baier,1999
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献