Parity game reductions
Crossref DOI link: https://doi.org/10.1007/s00236-017-0301-x
Published Online: 2017-08-04
Published Print: 2018-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cranen, Sjoerd
Keiren, Jeroen J. A. http://orcid.org/0000-0002-5772-9527
Willemse, Tim A. C. http://orcid.org/0000-0003-3049-7962
Funding for this research was provided by:
Open University of The Netherlands
License valid from 2017-08-04