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