Handbook of Automata Theory


Book articles | Book details

pp: 1261–1294

DOI: 10.4171/Automata-1/34

Timed automata

Patricia Bouyer[1]

(1) Université Paris-Saclay, CNRS, Gif-sur-Yvette, France

No abstract available for this article.

No keywords available for this article.

BACK TO TOP