TY  - RPRT
TI  - Parametrized Invariance for Infinite State Processes
AU  - Alejandro Sánchez
AU  - César Sánchez
PY  - 2014
UR  - https://arxiv.org/abs/1312.4043
ID  - 1312.4043
ER  -