Publication

[QuatmannDJJK16] Parameter Synthesis for Markov Models: Faster Than Ever Quatmann, T.; Dehnert, C.; Jansen, N.; Junges, S. and Katoen, J.-P. In ATVA, pages 50-67, LNCS 9938, 2016.
Downloads: bib