Search results for: Laurent Fribourg
Fundamenta Informaticae > 2021 > Vol. 182, nr 1 > 31--67
Formal Methods in System Design > 2018 > 53 > 3 > 363-383
Lecture Notes in Computer Science > Computer Aided Verification > Protocol Verification and Testing > 96-107
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Tutorials > 30-41
Lecture Notes in Computer Science
International Journal of Dynamics and Control > 2017 > 5 > 3 > 496-512
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 113-127
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 174-188