Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems (1995)

by S Campos, E Clarke, W Marrero, M Minea
Venue:Proc. Workshop Languages, Compilers, and Tools for Real-Time Systems