A hybrid model for reasoning about composed hardware systems (1994)

by E Thomas Schubert
Venue:Conference on Computer-Aided Verification