The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata
Crossref DOI link: https://doi.org/10.1007/s00224-020-09997-2
Published Online: 2020-09-15
Published Print: 2021-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mottet, Antoine http://orcid.org/0000-0002-3517-1745
Quaas, Karin
Funding for this research was provided by:
European Research Council (771005)
Deutsche Forschungsgemeinschaft (406907430)
Text and Data Mining valid from 2020-09-15
Version of Record valid from 2020-09-15
Article History
First Online: 15 September 2020