EEMCS

Chatterjee, K. and de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2006) Quantitative Compositional Reasoning. In: Third International Conference on the Quantitative Evaluation of Systems (QEST'06), 11-14 Sep 2006, Riverside, California. pp. 179-189. IEEE Computer Society. ISBN 0769526659

de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2005) Model Checking Discounted Temporal Properties. Theoretical computer science, 345 (1). pp. 139-170. ISSN 0304-3975 *** ISI Impact 0,838 ***

de Alfaro, L. and Faella, M. and Henzinger, T.A. and Majumdar, R. and Stoelinga, M.I.A. (2004) Model Checking Discounted Temporal Properties. In: Proc. 10th Int'l Conf. on tools and algorithms for the construction and analysis of systems, March 29 - April 2, 2004, Barcelona, Spain. pp. 77-92. Lecture Notes in Computer Science 2988. Springer. ISBN 978-3-540-21299-7