Formalization and Verification of the Shim6 Protocol

Published: Mon 16 July 2007
Last updated: Tue 04 March 2025

Publication on formalization and verification of the shim6 protocol.

Related links:

publication research