Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Zhou, Jiwei Chen, Guang Yang, Shirshanka Das. Dealing with Node Mobility in Ad Hoc Wireless Network. In Marco Bernardo, Alessandro Bogliolo, editors, Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures. Volume 3465 of Lecture Notes in Computer Science, pages 69-106, Springer, 2005. [doi]
Abstract is missing.