Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu. Formal Approaches to Location Management in Mobile Communications. In Tomasz Janowski, Hrushikesha Mohanty, editors, Distributed Computing and Internet Technology, 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings. Volume 5966 of Lecture Notes in Computer Science, pages 243-254, Springer, 2010. [doi]
Abstract is missing.