UNISPEX - A Unified Model for Protocol Specification and Verification.

Son T. Vuong, Donald D. Cowan

Browse the full INFOCOM paper archive.