Michael Huth. On finite-state approximants for probabilistic computation tree logic. Theoretical Computer Science, 346(1):113-134, 2005. [doi]
@article{Huth05:2,
title = {On finite-state approximants for probabilistic computation tree logic},
author = {Michael Huth},
year = {2005},
doi = {10.1016/j.tcs.2005.08.008},
url = {http://dx.doi.org/10.1016/j.tcs.2005.08.008},
tags = {logic},
researchr = {https://researchr.org/publication/Huth05%3A2},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {346},
number = {1},
pages = {113-134},
}