Patrick Goering, Geert J. Heijenk, Boudewijn R. Haverkort, Robbert Haarman. The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. In Katinka Wolter, editor, Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Volume 4748 of Lecture Notes in Computer Science, pages 284-300, Springer, 2007. [doi]