@conference {83, title = {SMT-Based Bisimulation Minimisation of Markov Models}, booktitle = {Verification, Model Checking, and Abstract Interpretation, VMCAI 2013}, series = {Lecture Notes in Computer Science Volume}, volume = {7737}, year = {2013}, pages = {28-47}, publisher = {Springer}, organization = {Springer}, author = {Christian Dehnert and Joost-Pieter Katoen and David Parker} }