Search results for: Thibaud Hottelier
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 163-179
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 6. Verification > 333-342
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 348-356
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 103-118