Fiacre
From MaRDI portal
Software:19067
swMATH7004MaRDI QIDQ19067FDOQ19067
Author name not available (Why is that?)
Cited In (5)
- 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
This page was built for software: Fiacre
