Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2

Jeroen J. A. Keiren, Martijn Klabbers. Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2. ECEASST, 53, 2012. [doi]

Authors

Jeroen J. A. Keiren

Identified as Jeroen J. A. Keiren

Martijn Klabbers

This author has not been identified. Look up 'Martijn Klabbers' in Google