Search results for: Eric Mercer
Parallel Computing > 2020 > 91 > C
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 289-306
Lecture Notes in Computer Science > Computer Aided Verification > Abstraction and Refinement > 182-193
Lecture Notes in Computer Science > Model Checking Software > Checking Security and Real-Time Properties > 251-265
IEEE Transactions on Human-Machine Systems > 2016 > 46 > 2 > 169 - 173