Publications

Filters: Author is Christian Dehnert [Clear All Filters]

2014

C. Dehnert, N. Jansen, R. Wimmer, E. Ábrahám, and J. - P. Katoen, “Fast Debugging of PRISM Models”, in Int. Symp. on Automated Technology for Verification and Analysis (ATVA'14), 2014.

2013

C. Dehnert, J. - P. Katoen, and D. Parker, “SMT-Based Bisimulation Minimisation of Markov Models”, in Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, 2013, vol. 7737, p. 28-47.