Search results for: Antoine Rauzy
Systems Engineering > 23 > 6 > 751 - 769
Systems Engineering > 23 > 5 > 656 - 670
Systems Engineering > 21 > 2 > 91 - 104
Reliability Engineering & System Safety > 2017 > 167 > C > 561-571
International Journal of Intelligent Transportation Systems Research > 2018 > 16 > 3 > 163-172
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 417-417
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning and Uncertainty > 328-335
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning and Uncertainty > 296-303
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming — CP '95 > 515-532
Lecture Notes in Computer Science > Progamming Language Implementation and Logic Programming > 75-91
Lecture Notes in Computer Science
Reliability Engineering and System Safety > 2015 > 142 > Complete > 184-191