Analysis and Verification of Real-Time Systems Using Quantitative Symbolic Algorithms (1999)

by S V A CAMPOS, E CLARKE
Venue:Journal of Software Tools for Technology Transfer