Peralta, Manuel, Mukhopadhyay, Supratik, Bharadwaj, Ramesh. (2016). Reasoning about Sensor Networks
.
693-710. 10.1201/b12991-37
Peralta, Manuel, Mukhopadhyay, Supratik, Bharadwaj, Ramesh. (2016). Reasoning about Sensor Networks
. 693-710. 10.1201/b12991-37