Author Info
Name
Affiliation
Papers
STEFAN TEN HOEDT
Aia Software B.V. P.O. Box 38025 6503 AA Nijmegen The Netherlands
1
Collaborators
Citations 
PageRank 
3
2
0.48
Referers 
Referees 
References 
7
36
14
Title
Citations
PageRank
Year
Analysis of a Session-Layer Protocol in mCRL220.482007