fc2tools
From MaRDI portal
Software:24315
swMATH12386MaRDI QIDQ24315FDOQ24315
Author name not available (Why is that?)
Cited In (11)
- Pragmatics of model checking: An STTT special section
- On process equivalence = equation solving in CCS
- Advances in verification of time Petri nets and timed automata. A temporal logic approach.
- Event based choreography
- Planning proofs of equations in CCS
- Bisimulation minimization and symbolic model checking
- Partial model checking using networks of labelled transition systems and Boolean equation systems
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- Refined Interfaces for Compositional Verification
- Compositional verification of asynchronous concurrent systems using CADP
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs
This page was built for software: fc2tools
