STARI: A case study in compositional verification and hierarchical timing verification (1997)

by TB97 S Tasiran, R K Brayton
Venue:In Orna Grumberg, editor, Proc. of the 9th. International Conference on Computer-Aided Verification, CAV'97