Search results for: Stéphane Gaubert
Lecture Notes in Computer Science > Programming Languages and Systems > Static Analysis and Abstract Interpretation I > 237-252
Lecture Notes in Computer Science > STACS 97 > 261-282
2015 54th IEEE Conference on Decision and Control (CDC) > 5845 - 5850
53rd IEEE Conference on Decision and Control > 1581 - 1587
53rd IEEE Conference on Decision and Control > 1600 - 1607
52nd IEEE Conference on Decision and Control > 1834 - 1841