Details for the publication WachterZH07.

Björn Wachter, Lijun Zhang, Holger Hermanns (): Probabilistic Model Checking Modulo Theories. In Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK, pages 129-140, 2007. DOI BIB