Analysis of a Session-Layer Protocol in mCRL2 ⋆ Verification of a Real-Life Industrial Implementation

by Marko Eekelen , Stefan Hoedt , René Schreurs , Yaroslav S. Usenko
Citations:5 - 2 self