Search results for: Koen Claessen
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 127-141
Lecture Notes in Computer Science > Computer Aided Verification > Session 7. Symbolic Trajectory Evaluation > 175-189
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Algorithms and Techniques for Speeding Verification 2 > 238-253
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Component Verification > 355-368
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Applications and Technology Track > 555-566
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 62-73
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > 156-173
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Test Development with Model Checking Techniques > 140-154
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > 121-136
Lecture Notes in Computer Science > Formal Methods in Computer-Aided Design > Contributed Papers > 409-426
Lecture Notes in Computer Science > Correct Hardware Design and Verification Methods > Functional Approaches to Design Description > 5-19