Timed Rebeca
From MaRDI portal
Software:5973607
No author found.
Related Items (3)
Modeling and efficient verification of wireless ad hoc networks ⋮ Finite interval-time transition system for real-time actors ⋮ On time actors
This page was built for software: Timed Rebeca
