Round- and context-bounded control of dynamic pushdown systems
Crossref DOI link: https://doi.org/10.1007/s10703-023-00431-0
Published Online: 2023-07-07
Published Print: 2024-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bollig, Benedikt
Lehaut, Mathieu http://orcid.org/0000-0002-6205-0682
Sznajder, Nathalie
Funding for this research was provided by:
University of Gothenburg
Text and Data Mining valid from 2023-07-07
Version of Record valid from 2023-07-07
Article History
Received: 12 October 2022
Accepted: 5 June 2023
First Online: 7 July 2023