Login / Signup
Mariëlle I. A. Stoelinga
ORCID
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Software Testing
Markov Chain
Practical Reasoning
Transition Systems
Top Venues
Models, Algorithms, Logics and Tools
</>
Publications
</>
Ed Brinksma
,
Mariëlle I. A. Stoelinga
,
Mark Timmer
Testing Divergent Transition Systems.
Models, Algorithms, Logics and Tools
(2017)