Crossmark

Testing membership for timed automata

Crossref DOI link: https://doi.org/10.1007/s00236-023-00442-8

Published Online: 2023-07-17

Published Print: 2023-12

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Lassaigne, Richard

de Rougemont, Michel https://orcid.org/0000-0001-6518-8874
License Information

Text and Data Mining valid from 2023-07-17

Version of Record valid from 2023-07-17
More Information

Article History

Received: 7 June 2020

Accepted: 22 June 2023

First Online: 17 July 2023