Hybrid I/O automata. (2003)

by 32N Lynch, R Segala, F Vaandrager
Venue:Inf. Comput.,