Jian He, Fan Yu. A Formal Approach to Model the Interaction between User and AmI Environment. In Qiaohong Zu, Bo Hu, Atilla Elçi, editors, Pervasive Computing and the Networked World - Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Papers. Volume 7719 of Lecture Notes in Computer Science, pages 216-230, Springer, 2012. [doi]
Abstract is missing.