Person

M. Timmer

Pagina-navigatie:

Update Persondata

Email	m. timmer -at- utwente. nl
Digital Author ID	info:eu-repo/dai/nl/326708553

Publications

Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation
Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation (extended version)
Analytische meetkunde door een synthetische bril
Proceedings of the 17th Dutch Testing Day: Testing Evolvability
Preface

All publications..

(the most recent research is at the top)
Doctoral/PhD student	Symbolic Translation of Stochastic Processes