Lu, Xicheng.,Zhao, Wei,.Networking and mobile computing : third international conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005 : proceedings /.Springer,,c2005..
Bernardo, Marco.,Bogliolo, Alessandro..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 /.Springer,,c2005..
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 /