Skip to Main content Skip to Navigation
Book sections

Timed automata

Complete list of metadata

https://hal-centralesupelec.archives-ouvertes.fr/hal-03654382
Contributor : Patricia Bouyer Connect in order to contact the contributor
Submitted on : Thursday, April 28, 2022 - 3:41:32 PM
Last modification on : Friday, August 5, 2022 - 2:58:08 PM

Identifiers

  • HAL Id : hal-03654382, version 1

Citation

Patricia Bouyer. Timed automata. Handbook of Automata Theory, European Mathematical Society Publishing House, 2021. ⟨hal-03654382⟩

Share

Metrics

Record views

19