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 (extended version)
Confluence versus Ample Sets in Probabilistic Branching Time
De sinus: van meetkundige definitie naar analytisch begrip
Confluence Reduction for Probabilistic Systems
Model-based Testing

All publications..

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