Search results for: Keijo Heljanko
AIChE Journal > 68 > 6 > n/a - n/a
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > Regular Papers > 200-212
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Analysis > 240-254
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 6 > 1292-1317
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Partial-Order and Simulation Techniques > 371-385
Lecture Notes in Computer Science > Model Checking Software > Technical Papers and Tool Reports > 37-56
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Bounded Model Checking > 380-395
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Actions and Causation > 307-319
Lecture Notes in Computer Science > Computer Aided Verification > Session 4. SAT and Bounded Model Checking > 95-108