Cited in
(25)- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Bisimulation minimization and symbolic model checking
- Event based choreography
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Pragmatics of model checking: An STTT special section
- SIGREF
- BISIMULATOR
- M-TREE
- E-LOTOS
- APNN-Toolbox
- Exp.Open
- CAESAR_SOLVE
- TVT
- CMC
- Concurrency Workbench
- Planning proofs of equations in CCS
- Mec 5
- LNT2LOTOS
- VERSA
- mCRL
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- Refined Interfaces for Compositional Verification
- Compositional verification of asynchronous concurrent systems using CADP
- On process equivalence = equation solving in CCS
This page was built for software: fc2tools
