Timed automata - CentraleSupélec Access content directly
Book Sections Year : 2021

Timed automata

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⟩
27 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More