Dexter Kozen. A Probabilistic PDL. In Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, 25-27 April 1983, Boston, Massachusetts, USA. pages 291-297, ACM, 1983.
@inproceedings{Kozen83:0,
title = {A Probabilistic PDL},
author = {Dexter Kozen},
year = {1983},
researchr = {https://researchr.org/publication/Kozen83%3A0},
cites = {0},
citedby = {0},
pages = {291-297},
booktitle = {Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, 25-27 April 1983, Boston, Massachusetts, USA},
publisher = {ACM},
}