Search results for: Mark Hillebrand
Lecture Notes in Computer Science > Computer Science - Theory and Applications > Accepted Papers > 322-333
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Verification of Memory Hierarchy Mechanisms > 301-316