Publication [DimitrovaFFHM16] Probabilistic CTL*: The Deductive Way Dimitrova, R.; Ferrer Fioriti, L. M.; Hermanns, H. and Majumdar, R. In TACAS, pages 280-298, LNCS 9636, 2016.Downloads: bib
