TY  - RPRT
TI  - Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems
AU  - Nathalie Bertrand
AU  - Mirco Tribastone
PY  - 2015
DO  - 10.4204/eptcs.194
UR  - https://arxiv.org/abs/1509.08169
ID  - 1509.08169
ER  -