Formalization and Verification of the Shim6 Protocol

Published: Mon 16 July 2007

Publication on formalization and verification of the shim6 protocol.

Related links:

publication