Statistics
Publications
1
Citations
37
H-Index
1
Active since
1998
Will Janssen is an author specializing in formal methods, model checking, and business process reengineering.
Publications per year
1998–1998
1
1
Verifying business processes using spin
Will Janssen, Radu Mateescu, Sjouke Mauw et al. · TU/e Research Portal · 1998 · 37 citations
1–1 of 1