Query-Based Model Checking of Ad Hoc Network Protocols.

Anu Singh, C. R. Ramakrishnan, Scott A. Smolka

Browse the full CONCUR paper archive.