Formal Analysis of Pervasive Computing Systems.

Yan Liu, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun, Jit Biswas, Mounir Mokhtari

Browse the full ICECCS paper archive.