Automatized verification of ad hoc routing protocols,” in (2004)

by O Wibling, J Parrow, A N Pears
Venue:Proc. Formal Techniques for Networked and Distributed Systems (FORTE’04), D. de Frutos-Escrig and M. Nunez, Eds., LNCS 3235,