Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements (bibtex)
by ,
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}
}
Powered by bibtexbrowser