@article{compositional-reason,
author = {Krishnendu Chatterjee and Luca de Alfaro and Marco Faella and Thomas A. Henzinger and Rupak Majumdar and Marielle Stoelinga},
title = {Compositional Quantitative Reasoning},
journal = {Third International Conference on the Quantitative Evaluation of Systems},
year = {2006},
isbn = {0-7695-2665-9},
pages = {179-188},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA}
}