Person

Dr.ir. J.W. Wesselink

Pagina-navigatie:

Update Persondata

Export page

Digital Author ID	info:eu-repo/dai/nl/153316594

Publications

(the most recent at the top)
Abstraction in parameterised Boolean equation systems
An overview of the mCRL2 toolset and its recent advances
Verification of reactive systems via instantiation of parameterised Boolean equation systems
Experiences in developing the mCRL2 toolset
Generic programming in the mCRL2 toolset

All publications..

(the most recent research is at the top)
Researcher	Improving the quality of protocol standards
Researcher	Distributed Real-Time Systems - IPA