Model-checking performability properties

Boudewijn R.H.M. Haverkort, L. Cloth, H. Hermanns, Joost P. Katoen, C Baier

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

56 Citations (Scopus)
Original languageUndefined
Title of host publicationProceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN)
Place of PublicationWashingthon (D.C.), USA
PublisherIEEE CS Press
Pages-
Number of pages10
Publication statusPublished - 2002
EventInternational Conference on Dependable Systems and Networks, DSN 2002 - Washington, United States
Duration: 23 Jun 200226 Jun 2002

Other

OtherInternational Conference on Dependable Systems and Networks, DSN 2002
Abbreviated titleDSN
CountryUnited States
CityWashington
Period23/06/0226/06/02

Keywords

  • METIS-208750

Cite this

Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P., & Baier, C. (2002). Model-checking performability properties. In Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN) (pp. -). Washingthon (D.C.), USA: IEEE CS Press.
Haverkort, Boudewijn R.H.M. ; Cloth, L. ; Hermanns, H. ; Katoen, Joost P. ; Baier, C. / Model-checking performability properties. Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN). Washingthon (D.C.), USA : IEEE CS Press, 2002. pp. -
@inproceedings{53ec0ddd2d6f4d61ac792157019937f6,
title = "Model-checking performability properties",
keywords = "METIS-208750",
author = "Haverkort, {Boudewijn R.H.M.} and L. Cloth and H. Hermanns and Katoen, {Joost P.} and C Baier",
year = "2002",
language = "Undefined",
pages = "--",
booktitle = "Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN)",
publisher = "IEEE CS Press",

}

Haverkort, BRHM, Cloth, L, Hermanns, H, Katoen, JP & Baier, C 2002, Model-checking performability properties. in Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN). IEEE CS Press, Washingthon (D.C.), USA, pp. -, International Conference on Dependable Systems and Networks, DSN 2002, Washington, United States, 23/06/02.

Model-checking performability properties. / Haverkort, Boudewijn R.H.M.; Cloth, L.; Hermanns, H.; Katoen, Joost P.; Baier, C.

Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN). Washingthon (D.C.), USA : IEEE CS Press, 2002. p. -.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Model-checking performability properties

AU - Haverkort, Boudewijn R.H.M.

AU - Cloth, L.

AU - Hermanns, H.

AU - Katoen, Joost P.

AU - Baier, C

PY - 2002

Y1 - 2002

KW - METIS-208750

M3 - Conference contribution

SP - -

BT - Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN)

PB - IEEE CS Press

CY - Washingthon (D.C.), USA

ER -

Haverkort BRHM, Cloth L, Hermanns H, Katoen JP, Baier C. Model-checking performability properties. In Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN). Washingthon (D.C.), USA: IEEE CS Press. 2002. p. -