Model Checking CSRL-Specified Performability Properties

Boudewijn R.H.M. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Christel Baier

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

Original languageEnglish
Title of host publicationProceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5)
EditorsR. German, J. Lüthi, M. Telek
Place of PublicationErlangen
PublisherUniversity of Erlangen
Pages-
Number of pages5
Publication statusPublished - 2001
Event5th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2001 - Erlangen, Germany
Duration: 15 Sep 200116 Sep 2001
Conference number: 5

Workshop

Workshop5th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2001
Abbreviated titlePMCCS
CountryGermany
CityErlangen
Period15/09/0116/09/01

Keywords

  • METIS-204451

Cite this

Haverkort, B. R. H. M., Hermanns, H., Katoen, J-P., & Baier, C. (2001). Model Checking CSRL-Specified Performability Properties. In R. German, J. Lüthi, & M. Telek (Eds.), Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5) (pp. -). Erlangen: University of Erlangen.
Haverkort, Boudewijn R.H.M. ; Hermanns, Holger ; Katoen, Joost-Pieter ; Baier, Christel. / Model Checking CSRL-Specified Performability Properties. Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5). editor / R. German ; J. Lüthi ; M. Telek. Erlangen : University of Erlangen, 2001. pp. -
@inproceedings{ba8e28105d2e4f1fa869b926f0070e84,
title = "Model Checking CSRL-Specified Performability Properties",
keywords = "METIS-204451",
author = "Haverkort, {Boudewijn R.H.M.} and Holger Hermanns and Joost-Pieter Katoen and Christel Baier",
year = "2001",
language = "English",
pages = "--",
editor = "R. German and J. L{\"u}thi and M. Telek",
booktitle = "Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5)",
publisher = "University of Erlangen",

}

Haverkort, BRHM, Hermanns, H, Katoen, J-P & Baier, C 2001, Model Checking CSRL-Specified Performability Properties. in R German, J Lüthi & M Telek (eds), Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5). University of Erlangen, Erlangen, pp. -, 5th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2001, Erlangen, Germany, 15/09/01.

Model Checking CSRL-Specified Performability Properties. / Haverkort, Boudewijn R.H.M.; Hermanns, Holger; Katoen, Joost-Pieter; Baier, Christel.

Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5). ed. / R. German; J. Lüthi; M. Telek. Erlangen : University of Erlangen, 2001. p. -.

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

TY - GEN

T1 - Model Checking CSRL-Specified Performability Properties

AU - Haverkort, Boudewijn R.H.M.

AU - Hermanns, Holger

AU - Katoen, Joost-Pieter

AU - Baier, Christel

PY - 2001

Y1 - 2001

KW - METIS-204451

M3 - Conference contribution

SP - -

BT - Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5)

A2 - German, R.

A2 - Lüthi, J.

A2 - Telek, M.

PB - University of Erlangen

CY - Erlangen

ER -

Haverkort BRHM, Hermanns H, Katoen J-P, Baier C. Model Checking CSRL-Specified Performability Properties. In German R, Lüthi J, Telek M, editors, Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5). Erlangen: University of Erlangen. 2001. p. -