Stefan ten Hoedt

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko
Analysis of a Session-Layer Protocol in mCRL2. FMICS (2007)