17 books • 2 series
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
The Theory of Timed I/O Automata (Synthesis Lectures on Computer Science) (Synthesis Lectures on Distributed Computing Theory)