|
[KG11]
Christian Krause and Holger Giese.
Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements.
In Proc. 13th International Workshop on Verification of Infinite-State Systems (INFINITY'11).
2011.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|