Publications

Publications for Mark Timmer

2016
Download
[bibtex]
Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga. Confluence Reduction for Markov Automata. Theoretical Computer Science 655(Part B), pages 193–219, 2016.
Show all