Search results
-
2013
Confluence reduction for Markov automata (extended version)
Timmer, M., van de Pol, J. & Stoelinga, M. I. A., Jun 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-13-14)Research output: Book/Report › Report › Professional
Open AccessFile118 Downloads (Pure)