1
by Fisher, Michael
Published 2011
J. Wiley & Sons
Subjects: '; ...Temporal automata...