Search results for: Joël Ouaknine
Theory of Computing Systems > 2019 > 63 > 5 > 1027-1048
Information and Computation > 2017 > 253 > P2 > 272-303
Lecture Notes in Computer Science > Automata, Languages and Programming > Automata and Formal Languages II > 1089-1101
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 200-215
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 358-372
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B6: Hybrid Systems > 416-427
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B7: Specification and Verification > 466-477
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Invited Talks > 1-13
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 98-112
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Quantitative Techniques > 411-425
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 393-407
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 10-Track B. Automata > 575-586