## Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems (2003)

by
Dilsun K. Kaynar
,
Nancy Lynch
,
Roberto Segala
,
Frits Vaandrager

Venue: | In RTSS 2003: The 24th IEEE International Real-Time Systems Symposium, Cancun,Mexico |

Citations: | 31 - 12 self |