Search results for: Pierre-Alain Reynier
Fundamenta Informaticae > 2021 > Vol. 178, nr 1/2 > 59--76
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Automata Theory > 229-244
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Model Checking > 112-126
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 292-306
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 198-212
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 90-104
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 157-171
Lecture Notes in Computer Science > LATIN 2006: Theoretical Informatics > Regular Contributions > 238-249
Theoretical Computer Science > 2015 > 578 > Complete > 13-29
Information and Computation > 2008 > 206 > 1 > 73-107