Author Search Results

1

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

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

by Zheng, M., Sanań, D., Sun, J., Liu, Y., Dong, J.S., Gu, Y.
Published 2014

Get full text

Conference or Workshop Item

2

Demo: Towards bug-free implementation for wireless sensor networks

Demo: Towards bug-free implementation for wireless sensor networks

by Zheng, M., Sun, J., Sanán, D., Liu, Y., Dong, J.S., Gu, Y.
Published 2013

Get full text

Conference or Workshop Item