Search results for: H. Veith
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 217-236
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Model Checking 2 > 293-309
Formal Methods in Computer Aided Design > 43 - 50