A SAT-Based Analysis of a Calculus for Wireless Sensor Networks.

Xi Wu, Hanne Riis Nielson, Huibiao Zhu

Browse the full TASE paper archive.