The Theory of Timed I/O Automata, Second Edition
Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
- Anthology ID:
- DBLP:series/synthesis/2010Kaynar
- Volume:
- 2010
- Year:
- 2010
- Venue:
- synthesis_series
- Publisher:
- Morgan & Claypool Publishers
- URL:
- https://doi.org/10.2200/S00310ED1V01Y201011DCT005
- DOI:
- 10.2200/S00310ED1V01Y201011DCT005
- DBLP:
- series/synthesis/2010Kaynar
