State space reduction for sensor networks using two-level partial order reduction

• المؤلفون الرئيسيون: Zheng, M., Sanań, D., Sun, J., Liu, Y., Dong, J.S., Gu, Y.
• مؤلفون آخرون: COMPUTER SCIENCE
• التنسيق: Conference or Workshop Item
• منشور في: 2014
• الوصول للمادة أونلاين: http://scholarbank.nus.edu.sg/handle/10635/78358

10.1007/978-3-642-35873-9_30