| Divergent quiescent transition systems WGJ Stokkink, M Timmer, MIA Stoelinga International Conference on Tests and Proofs, 214-231, 2013 | 15 | 2013 |
| Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation G Stokkink, M Timmer, M Stoelinga arXiv preprint arXiv:1202.6124, 2012 | 13 | 2012 |
| Performance evaluation of severe congestion handling solutions for multilevel service in rmd domains G Stokkink Proceedings of 4th Twente Student Conference on IT (TSConIT’06), University …, 2006 | 6 | 2006 |
| Quiescent transition systems G Stokkink University of Twente, 2012 | 3 | 2012 |
| Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version) WGJ Stokkink, M Timmer, MIA Stoelinga Technical Report TRCTIT-12-05, CTIT, University of Twente, 2012 | 3 | 2012 |
| Divergent quiescent transition systems (extended version) WGJ Stokkink, M Timmer, MIA Stoelinga Technical Report TR-CTIT-13-08, University of Twente, 2013 | 1 | 2013 |
| The Limola Model Checker G Stokkink, G Kant | | 2007 |
| Projectdocument A Laarman, M ter Maat, G Stokkink, C Versloot, R Wilterdink | | |
