DBLP Record 'series/synthesis/2006Kaynar'

BibTeX

@book{DBLP:series/synthesis/2006Kaynar,
  author    = {Dilsun Kirli Kaynar and
               Nancy A. Lynch and
               Roberto Segala and
               Frits W. Vaandrager},
  title     = {The Theory of Timed I/O Automata},
  booktitle = {The Theory of Timed I/O Automata},
  publisher = {Morgan {\&} Claypool Publishers},
  series    = {Synthesis Lectures on Computer Science},
  year      = {2009},
  ee        = {http://dx.doi.org/10.2200/S00006ED1V01Y200508CSL001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}