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

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

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: 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
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
المؤسسة: National University of Singapore