Fiacre
From MaRDI portal
Software:19067
No author found.
Related Items (5)
Event algebra for transition systems composition application to timed automata ⋮ Translating FSP into LOTOS and networks of automata ⋮ Revisiting sequential composition in process calculi ⋮ 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
