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