Author:
Pang Jun,Fokkink Wan,Hofman Rutger,Veldema Ronald
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference33 articles.
1. Process Algebra;Baeten,1990
2. Verification of a sliding window protocol in μCRL and PVS;Badban;Formal Aspects Comput.,2005
3. μCRL: a tool set for analysing algebraic specifications;Blom,2001
4. S.C.C. Blom, I. van Langevelde, B. Lisser, Compressed and distributed file formats for labeled transition systems, in: Proc. 2nd Workshop on Parallel and Distributed Model Checking, ENTCS 89(1), Elsevier, 2003, pp. 68–83.
5. S.C.C. Blom, S.M. Orzan, Distributed branching bisimulation reduction of state spaces, in: Proc. 2nd Workshop on Parallel and Distributed Model Checking, ENTCS 89(1), Elsevier, 2003, pp. 99–113.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献