The theory of timed I/O automata /

Bibliographic Details

Main Author:	Kaynar, Dilsun K.
Format:	Book
Language:	English
Published:	San Rafael, Calif. : Morgan & Claypool, [2011]
Edition:	2nd ed.
Series:	Synthesis lectures on distributed computing theory ; #5.
Subjects:	Temporal automata.