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

J.J.A. Keiren, M.D. Klabbers

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Fingerprint Dive into the research topics of 'Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2'. Together they form a unique fingerprint.

    Business & Economics