Zheng, M., Sanań, D., Sun, J., Liu, Y., Dong, J., Gu, Y., & SCIENCE, C. (2014). State space reduction for sensor networks using two-level partial order reduction.

Zheng, M., D. Sanań, J. Sun, Y. Liu, J.S Dong, Y. Gu, and COMPUTER SCIENCE. State Space Reduction for Sensor Networks Using Two-level Partial Order Reduction. 2014.

Zheng, M., et al. State Space Reduction for Sensor Networks Using Two-level Partial Order Reduction. 2014.