TY  - RPRT
TI  - Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems
AU  - Herbert Wiklicky
AU  - Mieke Massink
PY  - 2012
DO  - 10.4204/eptcs.85
UR  - https://arxiv.org/abs/1207.0559
ID  - 1207.0559
ER  -