J.W. Wesselink

The mCRL2 toolset

Jan Friso Groote, Jeroen J. A. Keiren, Aad Mathijssen et al. · 2008 · 30 citations

Software Maintenance, Engineering, Verification +25

Variational modeling of curves and surfaces

J.W. Wesselink · Data Archiving and Networked Services (DANS) · 1996 · 19 citations · Full text

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems

Bas Ploeger, J.W. Wesselink, Tim A. C. Willemse · Information and Computation · 2010 · 15 citations

Engineering, Automated Reasoning, Verification +10

A distributed spanning tree algorithm for topology-aware networks

Arjan J. Mooij, Nicolae Goga, J.W. Wesselink · Data Archiving and Networked Services (DANS) · 2003 · 15 citations · Full text

An analysis of medical device communication standard IEEE 1073.2

Arjan J. Mooij, Nicolae Goga, J.W. Wesselink et al. · Munich Personal RePEc Archive (Ludwig Maximilian University of Munich) · 2003 · 11 citations

Body Area Network, Engineering, Verification +21