The theory of timed i/o automata (0)

by D Kaynar, N Lynch, R Segala, E Vaandrager
Venue:Synthesis Lectures on Computer Science