Search results for: Patricia Bouyer
Information and Computation > 2017 > 254 > P2 > 238-258
Real-Time Systems > 2017 > 53 > 3 > 327-353
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 432-443
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed Systems > 312-326
Lecture Notes in Computer Science
Acta Informatica > 2018 > 55 > 2 > 91-127
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 337-351
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 2: Robustness > 97-112
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 > Automata, Languages and Programming > Track B: Contributed Papers > 43-54
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 > 135-149
Lecture Notes in Computer Science > FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 179-191
Lecture Notes in Computer Science > FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers – Track B > 345-356