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

2016
Confluence reduction for Markov automata
Timmer, M., Katoen, J.-P., van de Pol, J. & Stoelinga, M., 6 Dec 2016, In: Theoretical computer science. 655, B, p. 193-219 27 p.
Research output: Contribution to journal › Article › Academic › peer-review

Open Access
File
8 Link opens in a new tab Citations (Scopus)

270 Downloads (Pure)