Stratified guarded first-order transition systems
Crossref DOI link: https://doi.org/10.1007/s10703-022-00404-9
Published Online: 2022-11-22
Published Print: 2025-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Müller, Christian
Seidl, Helmut https://orcid.org/0000-0002-2135-1593
Funding for this research was provided by:
Technische Universität München
Text and Data Mining valid from 2022-11-22
Version of Record valid from 2022-11-22
Article History
Received: 16 October 2021
Accepted: 17 October 2022
First Online: 22 November 2022