Timed Rebeca

swMATH40758MaRDI QIDQ5973607FDOQ5973607

Author name not available (Why is that?)

Cited In (3)

• Finite interval-time transition system for real-time actors
• On time actors
• Modeling and efficient verification of wireless ad hoc networks

This page was built for software: Timed Rebeca