The following pages link to fc2tools (Q24315):
Displaying 11 items.
- Bisimulation minimization and symbolic model checking (Q698435) (← links)
- On process equivalence = equation solving in CCS (Q839034) (← links)
- Event based choreography (Q988170) (← links)
- Pragmatics of model checking: An STTT special section (Q1856169) (← links)
- Planning proofs of equations in CCS (Q1857269) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Advances in verification of time Petri nets and timed automata. A temporal logic approach. (Q2493434) (← links)
- Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems (Q2851668) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- Refined Interfaces for Compositional Verification (Q3613065) (← links)
- Towards Performance Prediction of Compositional Models in Industrial GALS Designs (Q3636862) (← links)
