CÃ©sar AndrÃ©s, StÃ©phane Maag, Ana R. Cavalli, Mercedes G. Merayo, Manuel NÃºÃ±ez. Analysis of the OLSR Protocol by Using Formal Passive Testing. In Shahida Sulaiman, Noor Maizura Mohamad Noor, editors, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia. pages 152-159, IEEE Computer Society, 2009.
Abstract is missing.