TY  - RPRT
TI  - Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements
AU  - Christian Krause
AU  - Holger Giese
PY  - 2011
DO  - 10.4204/eptcs.73.8
UR  - https://arxiv.org/abs/1111.3110
ID  - 1111.3110
ER  -