Theory of Timed I/O Automata

Author

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

Publisher

Synthesis Collection of Technology (R0)

Subject

Computing and Processing

Year

2006

ISBN

9783031017940