Chapitre D'ouvrage
Année : 2021
Patricia Bouyer : Connectez-vous pour contacter le contributeur
https://centralesupelec.hal.science/hal-03654382
Soumis le : jeudi 28 avril 2022-15:41:32
Dernière modification le : vendredi 24 mars 2023-14:53:26
Dates et versions
Identifiants
- HAL Id : hal-03654382 , version 1
Citer
Patricia Bouyer. Timed automata. Handbook of Automata Theory, European Mathematical Society Publishing House, 2021. ⟨hal-03654382⟩
Collections
35
Consultations
0
Téléchargements