Michael Huth, Nir Piterman, Huaxin Wang. A workbench for preprocessor design and evaluation: toward benchmarks for parity games. ECEASST, 23, 2009. [doi]
@article{HuthPW09-0,
title = {A workbench for preprocessor design and evaluation: toward benchmarks for parity games},
author = {Michael Huth and Nir Piterman and Huaxin Wang},
year = {2009},
url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/324},
tags = {workbench, design},
researchr = {https://researchr.org/publication/HuthPW09-0},
cites = {0},
citedby = {0},
journal = {ECEASST},
volume = {23},
}