@inproceedings{hniid=787,
author = {Benczúr, A. and Gl{\"a}sser, Uwe and Lukovszki, Tamás},
title = {Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks},
booktitle = {In Proc. of 10th International Workshop on Abstract State Machines},
series = {LNCS},
publisher = {Springer Verlag},
year = {2002},
}