A formal validation methodology for MANET routing protocols based on nodes’ self similarity

Optimized Link State Routing Protocol

Philippe Jacquet, Paul Mühlethaler, Amir Qayyum et al. · 2000 · 1.9K citations

Computing, Computer Science, Computer Systems +11

Principles and methods of testing finite state machines-a survey

D. Lee, Mihalis Yannakakis · Proceedings of the IEEE · 1996 · 1.2K citations

Computing, Computer Engineering, Computer Science +13

On the accuracy of MANET simulators

David Cavin, Yoav Sasson, André Schiper · 2002 · 338 citations · Full text

Computing, Computer Systems, Computer Networks +16

Modeling the global Internet

James Cowie, David M. Nicol, Andrew T. Ogielski · Computing in Science & Engineering · 1999 · 248 citations

Computing, Computer Science, Computer Systems +17

The CCITT-Specification and Description Language SDL.

Ferenc Belina, Dieter Hogrefe · Computer Networks · 1989 · 148 citations

Computing, Computer Engineering, Computer Science +6