Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System (1996)

by S CAMPOS, O GRUMBERG
Venue:ALUR R., HENZINGER T., Eds., Proc. of the 8th International Conference on Computer Aided Verification, num. 1102 LNCS