Author Info
Name
Affiliation
Papers
F. P. M. STAPPERS
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
6
Collaborators
Citations 
PageRank 
15
71
3.43
Referers 
Referees 
References 
128
174
110
Search Limit
100174
Title
Citations
PageRank
Year
An overview of the mCRL2 toolset and its recent advances581.512013
Experiences in developing the mCRL2 toolset40.402011
Transforming SOS specifications to linear processes30.412011
Formalizing a domain specific language using SOS: an industrial case study60.432011
Verification of safety requirements for program code using data abstraction00.342009
Suitability of mCRL2 for concurrent-system design: a 2 × 2 switch case study00.342009