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:4 - 2 self