Justifications and a Reconstruction of Parity Game Solving Algorithms
Crossref DOI link: https://doi.org/10.1007/978-3-031-31476-6_9
Published Online: 2023-05-17
Published Print: 2023
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lapauw, Ruben http://orcid.org/0000-0001-8190-8296
Bruynooghe, Maurice http://orcid.org/0000-0002-6881-1462
Denecker, Marc http://orcid.org/0000-0002-0422-7339
Text and Data Mining valid from 2023-01-01
Version of Record valid from 2023-01-01
Chapter History
First Online: 17 May 2023