Fiacre
From MaRDI portal
Cited in
(18)- D-Finder
- jETI
- BISIMULATOR
- M-TREE
- E-LOTOS
- Event algebra for transition systems composition application to timed automata
- Cheddar
- Exp.Open
- csp2B
- TLC
- FastSLAM
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- XTL
- CAESAR
- An automatic technique for checking the simulation of timed systems
- MAST
- Translating FSP into LOTOS and networks of automata
- Revisiting sequential composition in process calculi
This page was built for software: Fiacre
