Confluence Reduction for Markov Automata∗ Mark Timmer Jaco van de Pol Mari¨elle Stoelinga

First Page		Document Content
Date: 2013-03-26 07:49:25		Confluence Reduction for Markov Automata∗ Mark Timmer Jaco van de Pol Mari¨elle Stoelinga Add to Reading List Source URL: qapl2013.units.it Download Document from Source Website File Size: 115,81 KB Share Document on Facebook