Publication [QuatmannD0JK16] 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, Lecture Notes in Computer Science 9938, 2016.Downloads: bib
