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]

Abstract

Abstract is missing.