Publication

[Katoen16] The Probabilistic Model Checking Landscape Katoen, J.-P. In LICS, pages 31-45, 2016.Downloads: bib