Publisher
Open Publishing Association
Reference21 articles.
1. Verification of a sliding window protocol in μ CRL and PVS;Bahareh Badban;Formal Aspects of Computing,2005
2. Leader Election in Anonymous Rings: Franklin Goes Probabilistic;Rena Bakhshi,2008
3. Distributed Algorithms for SCC Decomposition;J. Barnat;Journal of Logic and Computation,2009
4. DiVinE - A Tool for Distributed Verification;Jiri Barnat,2006
5. Branching Bisimilarity is an Equivalence Indeed!;Twan Basten;Inf. Process. Lett.,1996
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献