Performance and reliability model checking and model construction

H. Hermanns

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

Original language	Undefined
Title of host publication	Formal Methods for Industrial Critical Systems, 5th International Workshop, FMICS 2000
Place of Publication	Berlin, Germany
Pages	11-27
Number of pages	17
Publication status	Published - 21 Feb 2000

Keywords

@inproceedings{19865e623e5d49228a4608309ceebc48,

title = "Performance and reliability model checking and model construction",

keywords = "METIS-119650",

author = "H. Hermanns",

year = "2000",

month = feb,

day = "21",

language = "Undefined",

pages = "11--27",

booktitle = "Formal Methods for Industrial Critical Systems, 5th International Workshop, FMICS 2000",

}