@ARTICLE {2251, author={P. Baltazar and P. Mateus and R. Nagarajan and N. Papanikolaou}, doi={}, journal={Theoretical Computer Science}, title={Exogenous probabilistic computation tree logic}, year={2007}, month={January}, volume={190}, number={3}, pages={95-110}, ISSN={0304-3975} }Create and download bib file