STARI: A Case Study in Compositional and Hierarchical Timing Verification (1997)

Cached

Download Links

by Serdar Tasiran , Robert K. Brayton
Venue:in O. Grumberg (Ed.) Proc. CAV'97, 191-201, LNCS 1254
Citations:15 - 1 self