Fingerprint
Dive into the research topics of 'Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Analysis of a session-layer protocol in mCRL2 : verification of a real-life industrial implementation
Marko van Eekelen, S. Hoedt, ten, R. Schreurs, Y.S. Usenko
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
4
Citations
(Scopus)