%0 Conference Paper %1 Chatterjee2006 %A Chatterjee, K. %A de Alfaro, L. %A Faella, M. %A Henzinger, T.A %A Majumdar, R. %A Stoelinga, M. %B Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on %D 2006 %K quantitative,weighted,automata,compositional %P 179-188 %R 10.1109/QEST.2006.11 %T Compositional Quantitative Reasoning

@inproceedings{Chatterjee2006, added-at = {2014-08-25T15:38:22.000+0200}, author = {Chatterjee, K. and de Alfaro, L. and Faella, M. and Henzinger, T.A and Majumdar, R. and Stoelinga, M.}, biburl = {https://www.bibsonomy.org/bibtex/21b807dfddbe8bac8f2264700fe3f6ec0/junkerm}, booktitle = {Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on}, doi = {10.1109/QEST.2006.11}, file = {Chatterjee2006.pdf:Chatterjee2006.pdf:PDF}, groups = {public}, interhash = {20714b2b2ffcde4d66f29b352f8d40db}, intrahash = {1b807dfddbe8bac8f2264700fe3f6ec0}, keywords = {quantitative,weighted,automata,compositional}, month = {Sept}, pages = {179-188}, timestamp = {2014-08-25T15:38:22.000+0200}, title = {Compositional Quantitative Reasoning}, username = {junkerm}, year = 2006 }