Search results for: Grégoire Sutre
Fundamenta Informaticae > 2019 > Vol. 169, nr 1-2 > 123--150
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite-State Systems > 706-720
Lecture Notes in Computer Science > Efficient Algorithms > Algorithm Engineering, Exactness, and Robustness > 422-437
Lecture Notes in Computer Science > LATIN 2002: Theoretical Informatics > Regular Contributions > 400-414
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Verification > 267-281
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 361-375
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 520-531
Lecture Notes in Computer Science > STACS 2000 > 346-357
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 106-123
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Infinite-State and Parameterized Systems > 489-503