Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

Krause, Christian; Giese, Holger

by Christian Krause, Holger Giese

Reference:

Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements (Christian Krause, Holger Giese), In Proceedings 13th International Workshop on Verification of Infinite-State Systems (INFINITY'11), Open Publishing Association, volume 73, 2011.

Bibtex Entry:

@InProceedings{KG11,
AUTHOR = {Krause, Christian and Giese, Holger},
TITLE = {{Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements}},
YEAR = {2011},
BOOKTITLE = {Proceedings 13th International Workshop on Verification of Infinite-State Systems (INFINITY'11)},
VOLUME = {73},
PAGES = {64--78},
SERIES = {Electronic Proceedings in Theoretical Computer Science},
PUBLISHER = {Open Publishing Association},
PDF = {uploads/pdf/KG11_1111.3110.pdf},
OPTacc_pdf = {}
}