Mark Timmer

发表

Mark Timmer, 2014, Bull. EATCS.

Mariëlle Stoelinga, Mark Timmer, 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, 2012, CONCUR.

Arnd Hartmanns, Mark Timmer, A. Hartmanns, 2013, NASA Formal Methods.

Mark Timmer, Tom Johannes Maria Coenen, Neeltje Cornelia Verhoef, 2016 .

Mariëlle Stoelinga, Mark Timmer, Dennis Guck, 2014 .

Mariëlle Stoelinga, Mark Timmer, Dennis Guck, 2014, ATVA.

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2013, ArXiv.

Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer, 2010, ArXiv.

Mariëlle Stoelinga, Mark Timmer, Joost P. Katoen, 2012 .

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, 2012, Theor. Comput. Sci..

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, 2016, Theor. Comput. Sci..

Mariëlle Stoelinga, Ed Brinksma, Mark Timmer, 2011, Software and Systems Safety - Specification and Verification.

Arend Rensink, Mark Timmer, Gerjan Stokkink, 2012 .

Aiko Pras, Pieter-Tjerk de Boer, Mark Timmer, 2006, 2006 4th IEEE/IFIP Workshop on End-to-End Monitoring Techniques and Services.

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, 2010, 2010 10th International Conference on Application of Concurrency to System Design.

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2014, Log. Methods Comput. Sci..

Mark Timmer, Mariëlle Stoelinga, W.G.J. Stokkink, 2013 .

Ed Brinksma, Mark Timmer, Mariëlle I. A. Stoelinga, 2017, Models, Algorithms, Logics and Tools.

Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer, 2011, TACAS.

Henri Hansen, Mark Timmer, Henri Hansen, 2014, Theor. Comput. Sci..

Mariëlle Stoelinga, Mark Timmer, Gerjan Stokkink, 2013, TAP@STAF.

Mark Timmer, 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

Jaco van de Pol, Joost P. Katoen, Mark Timmer, 2009 .

Arnd Hartmanns, Mark Timmer, 2014, International Journal on Software Tools for Technology Transfer.

J. C. van de Pol, Mark Timmer, Mariëlle Stoelinga, 2013 .

Joost-Pieter Katoen, Holger Hermanns, Mark Timmer, 2013, QEST.

Stefan Blom, Mark Timmer, Dennis Guck, 2014 .