Publications

Publications for Christel Baier

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