Dhaminda B. Abeywickrama, Sita Ramakrishnan. Model Checking Aspectual Pervasive Software Services. In Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011. pages 253-262, IEEE Computer Society, 2011. [doi]
Abstract is missing.