SMT-Based Bisimulation Minimisation of Markov Models
| Title | SMT-Based Bisimulation Minimisation of Markov Models |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Dehnert, C, Katoen, J-P, Parker, D |
| Conference Name | Verification, Model Checking, and Abstract Interpretation, VMCAI 2013 |
| Publisher | Springer |
Work Package:
WP1
