Combining Stream-Based and State-Based Verification Techniques.

Nancy A. Day, Mark D. Aagaard, Byron Cook

Browse the full FMCAD paper archive.