Construction and verification of concurrent performance and reliability models

H. Hermanns

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Original languageUndefined
Title of host publicationCurrent trends in theoretical computer science
EditorsG. Paun, G. Rozenberg, A. Salomaa
Place of PublicationRive Edge
PublisherWorld Scientific
Pages351-377
ISBN (Print)981-238-783-8
Publication statusPublished - 2004

Keywords

  • METIS-222351

Cite this

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.
Hermanns, H. / Construction and verification of concurrent performance and reliability models. Current trends in theoretical computer science. editor / G. Paun ; G. Rozenberg ; A. Salomaa. Rive Edge : World Scientific, 2004. pp. 351-377
@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",

}

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. World Scientific, Rive Edge, pp. 351-377.

Construction and verification of concurrent performance and reliability models. / Hermanns, H.

Current trends in theoretical computer science. ed. / G. Paun; G. Rozenberg; A. Salomaa. Rive Edge : World Scientific, 2004. p. 351-377.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

TY - CHAP

T1 - Construction and verification of concurrent performance and reliability models

AU - Hermanns, H.

PY - 2004

Y1 - 2004

KW - METIS-222351

M3 - Chapter

SN - 981-238-783-8

SP - 351

EP - 377

BT - Current trends in theoretical computer science

A2 - Paun, G.

A2 - Rozenberg, G.

A2 - Salomaa, A.

PB - World Scientific

CY - Rive Edge

ER -

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