Author:
Blom Stefan,Lisser Bert,van de Pol Jaco,Weber Michael
Subject
General Computer Science,Theoretical Computer Science
Reference19 articles.
1. Verification of a sliding window protocol in μCRL and PVS;Badban;Formal Aspects of Computing,2005
2. Sequential and distributed model checking of Petri net specifications;Bell;ENTCS,2002
3. Distributed analysis with μCRL: A compendium of case studies;Blom,2007
4. Compressed and distributed file formats for labeled transition systems;Blom;ENTCS,2003
5. μCRL: A toolset for analysing algebraic specifications;Blom,2001
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献