Search results for: Edmund M. Clarke
Physica E: Low-dimensional Systems and Nanostructures > 2017 > 91 > C > 169-172
Formal Methods in System Design > 2017 > 50 > 2-3 > 97-139
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Invited Papers > 1-12
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Invited Talk > 182-182
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 344-357
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Extended Abstracts of Invited Lectures > 18-24
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Compositional Reasoning > 511-526