An Efficient State Space Construction for a Class of Timed Automata
Crossref DOI link: https://doi.org/10.1007/978-3-662-68191-6_10
Published Online: 2023-11-01
Published Print: 2024
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Arcile, Johan
Devillers, Raymond
Klaudel, Hanna
Text and Data Mining valid from 2023-11-01
Version of Record valid from 2023-11-01
Chapter History
First Online: 1 November 2023