Publications by Zeliha Dilsun Kaynar

Conference

Timed I/O automata: A mathematical framework for modeling and analyzing real-time systems

2003 • Proceedings - Real-Time Systems Symposium • 166-177
Kaynar DK, Lynch N, Segala R, Vaandrager F
Displaying 26 - 28 of 28