Rocco De Nicola, Diego Latella, Mieke Massink. Formal modeling and quantitative analysis of KLAIM-based mobile systems. In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright, editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005. pages 428-435, ACM, 2005. [doi]
Abstract is missing.