Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.

Oskar Wibling, Joachim Parrow, Arnold Neville Pears

Browse the full FORTE paper archive.