swMATH7004MaRDI QIDQ19067FDOQ19067
Author name not available (Why is that?)
Official website: http://projects.laas.fr/fiacre//
Cited In (15)
- An automatic technique for checking the simulation of timed systems
- Event algebra for transition systems composition application to timed automata
- Revisiting sequential composition in process calculi
- Translating FSP into LOTOS and networks of automata
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- D-Finder
- M-TREE
- Cheddar
- csp2B
- Exp.Open
- TLC
- FastSLAM
- XTL
- CAESAR
- MAST
This page was built for software: Fiacre
