Yan Liu. Formal Modelling and Verification of Pervasive Computing Systems. In Christine Choppy, Jun Sun 0001, editors, 1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, July 15-16, 2013, Singapore. Volume 31 of OASICS, pages 61-67, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]
Abstract is missing.