Search results for: Milo M. K. Martin
Lecture Notes in Computer Science > Computer Aided Verification > Session 5. Memory Consistency > 273-287
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Verification I > 130-145
Lecture Notes in Computer Science > Computer Aided Verification > Session 17. Memory Consistency > 489-502
IEEE Micro > 2013 > 33 > 5 > 20 - 28
2010 IEEE Symposium on Security and Privacy > 159 - 172