Compositional quantitative reasoning. (2006)

by K Chatterjee
Venue:In Proc. IEEE Conference on Quantitative Evaluation of Systems (QEST),