Synthesis
Lectures on Computer Science
Synthesis CSL @ www.morganclaypool.com
2006
Dilsun Kirli Kaynar
,
Nancy A. Lynch
,
Roberto Segala
,
Frits W. Vaandrager
: The Theory of Timed I/O Automata.
Synthesis Lectures on Computer Science
Morgan & Claypool Publishers 2009
Contents
Copyright ©
Tue Mar 16 01:52:14 2010 by
Michael Ley
(
ley@uni-trier.de
)
