Construction and verification of concurrent performance and reliability models

H. Hermanns

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Original language	Undefined
Title of host publication	Current trends in theoretical computer science
Editors	G. Paun, G. Rozenberg, A. Salomaa
Place of Publication	Rive Edge
Publisher	World Scientific
Pages	351-377
ISBN (Print)	981-238-783-8
Publication status	Published - 2004

Hermanns, H. (2004). Construction and verification of concurrent performance and reliability models. In G. Paun, G. Rozenberg, & A. Salomaa (Eds.), Current trends in theoretical computer science (pp. 351-377). Rive Edge: World Scientific.

@inbook{75de18628480498ebba0f6c84eb2d535,

title = "Construction and verification of concurrent performance and reliability models",

keywords = "METIS-222351",

author = "H. Hermanns",

year = "2004",

language = "Undefined",

isbn = "981-238-783-8",

pages = "351--377",

editor = "G. Paun and G. Rozenberg and A. Salomaa",

booktitle = "Current trends in theoretical computer science",

publisher = "World Scientific",

address = "United States",

}