2
Published 2003
Springer Berlin Heidelberg
Table of Contents: ... State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks...