Search results for: Roderick Bloem
Formal Methods in System Design > 2017 > 51 > 2 > 332-361
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 56-73
Lecture Notes in Computer Science > Computer Aided Verification > Session VIII: Reactive Designs > 263-267
Lecture Notes in Computer Science > Computer Aided Verification > Games and Probabilistic Verification > 226-238
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 355-368
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 162-179
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Hardware Verification Track > 50-64
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Model Checking: Strongly-Connected Components > 88-105
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Game Solving Approaches > 35-49