Bounded DBM-based clock state construction for timed automata in Uppaal
Crossref DOI link: https://doi.org/10.1007/s10009-022-00667-x
Published Online: 2022-09-08
Published Print: 2023-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lehmann, Sascha
Schupp, Sibylle
Funding for this research was provided by:
Technische Universität Hamburg
Text and Data Mining valid from 2022-09-08
Version of Record valid from 2022-09-08
Article History
Accepted: 9 August 2022
First Online: 8 September 2022
Declarations
:
: Not applicable.