Media type: E-Article Title: A probabilistic dynamic logic Contributor: Feldman, Yishai A.; Harel, David imprint: Elsevier BV, 1984 Published in: Journal of Computer and System Sciences Language: English DOI: 10.1016/0022-0000(84)90065-5 ISSN: 0022-0000 Keywords: Applied Mathematics ; Computational Theory and Mathematics ; Computer Networks and Communications ; Theoretical Computer Science Origination: Footnote: Access State: Open Access