Towards a Model Checker for NesC and Wireless Sensor Networks.

Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu

Browse the full ICFEM paper archive.