The theory of timed I/O automata

Group Author: Kaynar Dilsun K.; Segala Roberto, 1968-; Vaadrager Frits.; Lynch Nancy A.; (Nancy Ann), 1948-
Published: Morgan & Claypool Publishers,
Publication Dates: c2006.
Call Number: TP15/T396