Crossmark

Distributed parametric model checking timed automata under non-Zenoness assumption

Published Online: 2022-11-01

Published Print: 2021-12

Authors

André, Étienne https://orcid.org/0000-0001-8473-9555
Nguyen, Hoang Gia

Petrucci, Laure

Sun, Jun
Funding

Funding for this research was provided by:

Agence Nationale de la Recerche (ANR-14-CE28-0002)

Agence Nationale de la Recherche (ANR-19-CE25-0015)
License Information

Text and Data Mining valid from 2021-12-01

Version of Record valid from 2021-12-01
More Information

Article History

Received: 30 August 2019

Accepted: 21 September 2022

First Online: 1 November 2022

Document is current