Crossmark

Configurable verification of timed automata with discrete variables

Crossref DOI link: https://doi.org/10.1007/s00236-020-00393-4

Published Online: 2020-12-15

Published Print: 2022-02

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

Authors

Tóth, Tamás https://orcid.org/0000-0001-7176-1278
Majzik, István https://orcid.org/0000-0002-1184-2882
Funding

Funding for this research was provided by:

Budapest University of Technology and Economics
License Information

Text and Data Mining valid from 2020-12-15

Version of Record valid from 2020-12-15
More Information

Article History

Received: 5 March 2019

Accepted: 27 October 2020

First Online: 15 December 2020