A computationally efficient method based on commitment refinement maps for verifying pipelined machines models (2005)

by Panagiotis Manolios, et al.
Venue:IN ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN
Citations:5 - 5 self