Mariëlle Stoelinga profile picture

Mariëlle Stoelinga

Is this your author profile? Create an account to customize it!

Stand Alone

Formal Methods for Industrial Critical Systems
A Journey from Process Algebra via Timed Automata to Model Learning Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
A Journey from Process Algebra via Timed Automata to Model Learning
A Journey from Process Algebra Via Timed Automata to Model Learning Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Quantitative Evaluation of Systems