@inproceedings{CdAFHMS06,
  author      = {K. Chatterjee and L. de Alfaro and M. Faella and 
                T.A. Henzinger and R. Majumdar and
                 M.I.A.~Stoelinga},
  title       = {Compositional Quantitative Reasoning},
  year        = {2006},
  booktitle   = {International Conference on Quantitative Evaluation of 
                 Systems (QEST'06)},
  publisher   = {IEEE Computer Society Press}
}