Theory of Timed I/O Automata

Author

Dilsun Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager

Publisher

Synthesis Collection of Technology (R0)

Subject

Computing and Processing

Year

2011

Vol/Edition

2nd ed.

ISBN

9783031020032