ProBE
From MaRDI portal
Software:28108
No author found.
Related Items (4)
Rigorous development of component-based systems using component metadata and patterns ⋮ Efficient symbolic computation of process expressions ⋮ Symbolic Analysis Tools for CSP ⋮ Enabling synchronous and asynchronous communications in CSP for SOC
This page was built for software: ProBE
