Stefan ten Hoedt

According to our database, Stefan ten Hoedt authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Analysis of a Session-Layer Protocol in mCRL2.

Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko

Proceedings of the Formal Methods for Industrial Critical Systems, 2007