Search results for: L. McMillan
Human Brain Mapping > 39 > 8 > 3187 - 3202
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Bounded Model Checking and SAT-Based Methods > 34-48
Journal of Sport and Health Science > 2016 > 5 > 2 > 197-204
Lecture Notes in Computer Science > Computer Aided Verification > Session 5. Abstraction/Refinement > 123-136
Lecture Notes in Computer Science > Computer Aided Verification > Extending Bounded Model Checking > 1-13
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Posters > 342-346
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Joint Session with TPHOLs > 179-195
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Refinement > 459-473
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 405-419
Lecture Notes in Computer Science > Static Analysis > Invited Talk > 336-336
Lecture Notes in Computer Science > Static Analysis > 249-262
Lecture Notes in Computer Science > Computer Aided Verification > Microprocessor Verification, Cache Coherence > 396-410
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction, Interpolation > 413-427