@inproceedings{amcmn09,
author="C. Andr{\'e}s and S. Maag and A. Cavalli and M.G. Merayo and {M.} {N}{\'u}{\~n}ez",
title="Analysis of the {OLSR} Protocol by using formal passive testing",
booktitle ="16th Asia-Pacific Software Engineering, APSEC'09",
publisher = "IEEE Computer Society Press",
pages= "152--159",
year= "2009"}