Details for the publication BuchholzHHZ11.

Peter Buchholz, Ernst Moritz Hahn (), Holger Hermanns (), Lijun Zhang: Model Checking Algorithms for CTMDPs. In Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, volume 6806 of Lecture Notes in Computer Science, pages 225-242, 2011. DOI BIB