Search results for: Franck Cassez
Fundamenta Informaticae > 2021 > Vol. 178, nr 1/2 > 31--57
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 82-96
Theoretical Computer Science > 2016 > 631 > C > 16-42
Lecture Notes in Computer Science > LATIN 2002: Theoretical Informatics > Regular Contributions > 400-414
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 307-321
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 148-160
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 192-206
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 90-104
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Petri Nets > 211-225
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Fault Tolerant Systems > 352-367
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 273-284
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Verification > 282-296