On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000
Place of Publication	Nuremberg, Germany
Pages	228-237
Number of pages	10
Publication status	Published - 21 Feb 2000

Keywords

@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 = feb,

day = "21",

language = "Undefined",

isbn = "0769505430",

pages = "228--237",

booktitle = "9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000",

}

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 -