DataMonitor - A formal approach for passively testing a MANET routing protocol.

Felipe Lalanne, Stephane Maag

Browse the full IWCMC paper archive.