Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up.

Alexandre Mouradian, Isabelle Aug-Blum

Browse the full ECRTS paper archive.