TY  - RPRT
TI  - Two-Buffer Simulation Games
AU  - Milka Hutagalung
AU  - Norbert Hundeshagen
AU  - Dietrich Kuske
AU  - Martin Lange
AU  - Etienne Lozes
PY  - 2016
DO  - 10.4204/eptcs.220.3
UR  - https://arxiv.org/abs/1608.00654
ID  - 1608.00654
ER  -