Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti. A Branching Time Temporal Framework for Quantitative Reasoning. Journal of Automated Reasoning, 30(2):205-232, 2003.
@article{ChatterjeeDC03,
title = {A Branching Time Temporal Framework for Quantitative Reasoning},
author = {Krishnendu Chatterjee and Pallab Dasgupta and P. P. Chakrabarti},
year = {2003},
researchr = {https://researchr.org/publication/ChatterjeeDC03},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {30},
number = {2},
pages = {205-232},
}