Skip to Main content Skip to Navigation
Book sections

Timed automata

Patricia Bouyer 1 
1 LMF - Laboratoire Méthodes Formelles
Document type :
Book sections
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

Collections

CNRS | INRIA | ENS-CACHAN | CENTRALESUPELEC | UNIV-PARIS-SACLAY | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE | LMF

Citation

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

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

19