Search results for: Karl-Erik Årzén
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Invited Talk > 142-143
53rd IEEE Conference on Decision and Control > 5320 - 5327
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Invited Talk > 142-143
53rd IEEE Conference on Decision and Control > 5320 - 5327