Search results for: Rajnish Ghughal
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Applications of Hierarchical Verification in Model Checking > 1-19
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > FMCAD 2000 > 40-57