Construction and Verification of Performance and Reliability Models

H. Hermanns

Research output: Contribution to journal › Article › Academic

Original language	Undefined
Pages (from-to)	-
Number of pages	19
Journal	Bulletin of the European Association for Theoretical Computer Science
Volume	74
Publication status	Published - 2001

Keywords

@article{2a7de92e58df4eb0b3c9757d860c488c,

title = "Construction and Verification of Performance and Reliability Models",

keywords = "METIS-203847",

author = "H. Hermanns",

year = "2001",

language = "Undefined",

volume = "74",

pages = "--",

journal = "Bulletin of the European Association for Theoretical Computer Science",

issn = "0252-9742",

publisher = "European Association for Theoretical Computer Science",

}