Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/ictac/CranenKW12
AU - Cranen, Sjoerd
AU - Keiren, Jeroen J. A.
AU - Willemse, Tim A. C.
TI - A Cure for Stuttering Parity Games.
BT - Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
SP - 198
EP - 212
PY - 2012//
DO - 10.1007/978-3-642-32943-2_16
UR - https://doi.org/10.1007/978-3-642-32943-2_16
ER -
