Viptos
From MaRDI portal
Software:21406
No author found.
Related Items (4)
Symmetry and partial order reduction techniques in model checking Rebeca ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Decidability Problems for Actor Systems
This page was built for software: Viptos
