TY  - RPRT
TI  - Games for Bisimulations and Abstraction
AU  - David De Frutos Escrig
AU  - Jeroen J. A. Keiren
AU  - Tim A. C. Willemse
PY  - 2017
DO  - 10.23638/lmcs-13(4:15)2017
UR  - https://arxiv.org/abs/1611.00401
ID  - 1611.00401
ER  -