Confluence Reduction for Markov Automata

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

22 Citations (Scopus)

158 Downloads (Pure)

22 Citations
1 Report
1 Conference contribution
1 Article

1 results

Filter

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 Access
File
118 Downloads (Pure)