Login / Signup
Willem Gerrit Johan Stokkink
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Markov Chain
Model Checker
Practical Reasoning
Transition Systems
Top Venues
TAP@STAF
</>
Publications
</>
Willem Gerrit Johan Stokkink
,
Mark Timmer
,
Mariëlle Stoelinga
Divergent Quiescent Transition Systems.
TAP@STAF
(2013)