Search results for: Ahmed Bouajjani
Formal Methods in System Design > 2019 > 54 > 1 > 4-26
Lecture Notes in Computer Science > Implementation and Applications of Automata > Technical Contributions > 212-222
Lecture Notes in Computer Science > STACS 99 > Verification > 323-333
Lecture Notes in Computer Science > Computer Aided Verification > Tool Presentations: Model-Checking and Automata Techniques > 368-372
Lecture Notes in Computer Science
Lecture Notes in Computer Science > FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 74-87
Lecture Notes in Computer Science > Computer Aided Verification > Session 1. Software Model Checking > 72-88
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 348-359
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Trust, Reputation > 501-516
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 306-326