A Parity Game Tale of Two Counters

2019/01/01

Authors:

Published in: GandALF

BibTeX entry:

@inproceedings{Dijk19,
 author = {Tom van Dijk},
 booktitle = {GandALF},
 series = {{EPTCS}},
 title = {A Parity Game Tale of Two Counters},
 year = {2019}
}