Yan Liu 0012, Xian Zhang, Jin Song Dong, Yang Liu, Jun Sun 0001, Jit Biswas, Mounir Mokhtari. Formal Analysis of Pervasive Computing Systems. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 169-178, IEEE Computer Society, 2012. [doi]
Abstract is missing.