"Modeling and Verification of NLSR Protocol using UPPAAL."

Yuan Fei, Huibiao Zhu, Xin Li (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics