DMCA

Predictive reachability using a sample-based approach (2005)

Cached

Download Links

by Debashis Sahoo , Jawahar Jain , Subramanian K. Iyer , David Dill , E. Allen Emerson
Venue:In Proc. of Correct Hardware Design and Verification Methods (CHARME’05), volume 3725 of LNCS
Citations:2 - 0 self