TY  - RPRT
TI  - Reward Testing Equivalences for Processes
AU  - Rob van Glabbeek
PY  - 2019
DO  - 10.1007/978-3-030-21485-2_5
UR  - https://arxiv.org/abs/1907.13348
ID  - 1907.13348
ER  -