TY  - RPRT
TI  - Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC
AU  - Igor V. Tarasyuk
AU  - Hermenegilda Macià
AU  - Valentín Valero
PY  - 2017
UR  - https://arxiv.org/abs/1702.07478
ID  - 1702.07478
ER  -