Publications

Publications for Holger Hermanns

2019
DownloadLink
[bibtex]
Christel Baier, Holger Hermanns, Joost-Pieter Katoen. The 10,000 Facets of MDP Model Checking. In , Computing and Software Science, pages 420-451, Volume 10000 of LNCS, 2019.
Show all