On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

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

Original languageUndefined
Title of host publication9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000
Place of PublicationNuremberg, Germany
Pages228-237
Number of pages10
Publication statusPublished - 21 Feb 2000

Keywords

  • METIS-119646

Cite this

Haverkort, B. R. H. M., Hermanns, H., & Katoen, J. P. (2000). On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000 (pp. 228-237). Nuremberg, Germany.
Haverkort, Boudewijn R.H.M. ; Hermanns, H. ; Katoen, Joost P. / On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000. Nuremberg, Germany, 2000. pp. 228-237
@inproceedings{6f1040640ee749b794604939750c537f,
title = "On the Use of Model Checking Techniques for Quantitative Dependability Evaluation",
keywords = "METIS-119646",
author = "Haverkort, {Boudewijn R.H.M.} and H. Hermanns and Katoen, {Joost P.}",
year = "2000",
month = "2",
day = "21",
language = "Undefined",
isbn = "0769505430",
pages = "228--237",
booktitle = "9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000",

}

Haverkort, BRHM, Hermanns, H & Katoen, JP 2000, On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. in 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000. Nuremberg, Germany, pp. 228-237.

On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. / Haverkort, Boudewijn R.H.M.; Hermanns, H.; Katoen, Joost P.

9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000. Nuremberg, Germany, 2000. p. 228-237.

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

TY - GEN

T1 - On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

AU - Haverkort, Boudewijn R.H.M.

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 2000/2/21

Y1 - 2000/2/21

KW - METIS-119646

M3 - Conference contribution

SN - 0769505430

SP - 228

EP - 237

BT - 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000

CY - Nuremberg, Germany

ER -

Haverkort BRHM, Hermanns H, Katoen JP. On the Use of Model Checking Techniques for Quantitative Dependability Evaluation. In 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000. Nuremberg, Germany. 2000. p. 228-237