The following pages link to (Q4518897):
Displaying 5 items.
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Producing explanations for rich logics (Q2024339) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes (Q3000666) (← links)
