Search results for: Mark Aagaard
Cryptography and Communications > 2018 > 10 > 4 > 629-641
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
Lecture Notes in Computer Science
Cryptography and Communications > 2014 > 6 > 2 > 117-135
Cryptography and Communications > 2013 > 5 > 4 > 277-289