- Referenced in 27 articles
- CPN/Tools: A tool for editing and simulating coloured...
- Referenced in 37 articles
- Modeling and verification of cryptographic protocols using coloured...
- Referenced in 40 articles
- PNML framework: An extendable reference implementation of the...
- Referenced in 46 articles
- IF-2.0: A validation environment for component-based...
- Referenced in 715 articles
- Spin is a popular open-source software tool...
- Referenced in 278 articles
- Using Z. Specification, refinement, and proof. The book...