View of Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks

Return to Article Details Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks Download Download PDF