An Introduction to Time-Constrained Automata

by Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet
Published 2010-10-01

On the reaction time of some synchronous systems

by Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet
Published 2011-07-01