@InProceedings{KG11,
author={Christian Krause and Holger Giese},
title={Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements},
booktitle={Proc. 13th International Workshop on Verification of Infinite-State Systems (INFINITY'11)},
year={2011},

editor={},
pages={64-78},
organization={},
publisher={Elsevier},
series={EPTCS},
volume={73},
address={},
month={},
note={},
key={}
}