wRebeca

swMATH29269MaRDI QIDQ40983FDOQ40983

Author name not available (Why is that?)

Official website: http://rebeca-lang.org/allprojects/wRebeca

Cited In (3)

• ACTLW
• AODV
• Model checking mobile ad hoc networks

This page was built for software: wRebeca