Helena
From MaRDI portal
Software:45134
No author found.
Related Items (4)
Model-Checking Helena Ensembles with Spin ⋮ Role-based development of dynamically evolving esembles ⋮ From distributed coordination to field calculus and aggregate computing ⋮ Ode to the PST
This page was built for software: Helena