Search results for: Albert Benveniste
Lecture Notes in Computer Science > ESOP '92 > 20-38
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 149-169
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Validation > 134-151
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The ARTIST Project > 200-225
Theoretical Computer Science > 2014 > 546 > Complete > 30-31
Theoretical Computer Science > 2014 > 546 > Complete > 52-62
Formal Methods in System Design > 2014 > 44 > 1 > 1-43
Journal of Computer and System Sciences > 2012 > 78 > 3 > 877-910