State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.

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

Browse the full VMCAI paper archive.