Strong completeness for markovian logics (2013)

by D Kozen, R Mardare, P Panangaden
Venue:In Krishnendu Chatterjee and Jiri Sgall, editors, MFCS, volume 8087 of Lecture Notes in Computer Science