Authors:
- Tom van Dijk
Published in: Principles of Verification {(3)} pp 446–465
DOI: 10.1007/978-3-031-75778-5_21
BibTeX entry:
@inproceedings{DBLP:conf/birthday/Dijk25,
author = {Tom van Dijk},
booktitle = {Principles of Verification {(3)}},
doi = {10.1007/978-3-031-75778-5_21},
pages = {446--465},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Solving Parity Games, Very Slowly},
volume = {15262},
year = {2024}
}