The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)

cover

@Book{            Kaynar:2006:TTI:1203437,
  Author        = "Kaynar, Dilsun K. and Lynch, Nancy and Segala, Roberto and Vaandrager, Frits",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:27 +0200",
  ISBN          = "159829010X",
  Publisher     = "Morgan \\& Claypool Publishers",
  Title         = "The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)",
  Year          = "2006",
  File          = "The Theory of Timed I-O Automata (Synthesis Lectures in Computer Science) - Kaynar, Lynch, Segala, Vaandrager (0) (0) - a - a.pdf"
}

@Book{ Kaynar:2006:TTI:1203437, Author = "Kaynar, Dilsun K. and Lynch, Nancy and Segala, Roberto and Vaandrager, Frits", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:27 +0200", ISBN = "159829010X", Publisher = "Morgan \& Claypool Publishers", Title = "The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science)", Year = "2006", File = "The Theory of Timed I-O Automata (Synthesis Lectures in Computer Science) - Kaynar, Lynch, Segala, Vaandrager (0) (0) - a - a.pdf" }