TY  - RPRT
TI  - Strategy Derivation for Small Progress Measures
AU  - Maciej Gazda
AU  - Tim A. C. Willemse
PY  - 2015
UR  - https://arxiv.org/abs/1407.2149
ID  - 1407.2149
ER  -