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

Timed automata

Patricia Bouyer
No 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⟩
38 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More