RenĂ© Zilz. Specifying concurrent behavior to evaluate ubiquitous computing environments. In Fabio Paternò, Kris Luyten, Frank Maurer, editors, Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011. pages 295-298, ACM, 2011. [doi]
Abstract is missing.