Formal verification of timing conditions (1990)

by Mai
Venue:In European Design Automation Conference