Timed automata - Archive ouverte HAL Access content directly
Book Sections Year : 2021

Timed automata

(1)
1
Patricia Bouyer
Not file

Dates and versions

hal-03654382 , version 1 (28-04-2022)

Identifiers

  • HAL Id : hal-03654382 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More