Search results for: Albert Benveniste
Lecture Notes in Computer Science > Hybrid Systems > 230-254
Lecture Notes in Control and Information Sciences > Detection of Abrupt Changes in Signals and Dynamical Systems > 1-7
Lecture Notes in Control and Information Sciences > Detection of Abrupt Changes in Signals and Dynamical Systems > 75-86
Lecture Notes in Computer Science > Embedded Software > 294-304
Lecture Notes in Control and Information Sciences > Detection of Abrupt Changes in Signals and Dynamical Systems > 259-274
Lecture Notes in Control and Information Sciences > New Trends in Nonlinear Control Theory > 483-495
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Partial Orders and Asynchronous Systems > 1-26
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Invited Talks > 14-14
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Probabilistic Models > 95-109
Lecture Notes in Computer Science > Embedded Software > 252-265
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Probabilistic and Quantitative Models > 380-394
Lecture Notes in Computer Science > ESOP '92 > 20-38