Towards Model Checking Stochastic Process Algebra

H. Hermanns, Joost P. Katoen, J. Meyer-Kayser, M. Siegle

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

37 Citations (Scopus)
Original languageUndefined
Title of host publicationIntegrated Formal Methods, 2nd international Workshop, IFM 2000
Place of PublicationDagstuhl, Germany
Pages420-439
Number of pages20
Publication statusPublished - 22 Feb 2000

Keywords

  • METIS-119655

Cite this

Hermanns, H., Katoen, J. P., Meyer-Kayser, J., & Siegle, M. (2000). Towards Model Checking Stochastic Process Algebra. In Integrated Formal Methods, 2nd international Workshop, IFM 2000 (pp. 420-439). Dagstuhl, Germany.
Hermanns, H. ; Katoen, Joost P. ; Meyer-Kayser, J. ; Siegle, M. / Towards Model Checking Stochastic Process Algebra. Integrated Formal Methods, 2nd international Workshop, IFM 2000. Dagstuhl, Germany, 2000. pp. 420-439
@inproceedings{689987b57536409499153a3a3b3051ed,
title = "Towards Model Checking Stochastic Process Algebra",
keywords = "METIS-119655",
author = "H. Hermanns and Katoen, {Joost P.} and J. Meyer-Kayser and M. Siegle",
year = "2000",
month = "2",
day = "22",
language = "Undefined",
isbn = "3-540-41196-8",
pages = "420--439",
booktitle = "Integrated Formal Methods, 2nd international Workshop, IFM 2000",

}

Hermanns, H, Katoen, JP, Meyer-Kayser, J & Siegle, M 2000, Towards Model Checking Stochastic Process Algebra. in Integrated Formal Methods, 2nd international Workshop, IFM 2000. Dagstuhl, Germany, pp. 420-439.

Towards Model Checking Stochastic Process Algebra. / Hermanns, H.; Katoen, Joost P.; Meyer-Kayser, J.; Siegle, M.

Integrated Formal Methods, 2nd international Workshop, IFM 2000. Dagstuhl, Germany, 2000. p. 420-439.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Towards Model Checking Stochastic Process Algebra

AU - Hermanns, H.

AU - Katoen, Joost P.

AU - Meyer-Kayser, J.

AU - Siegle, M.

PY - 2000/2/22

Y1 - 2000/2/22

KW - METIS-119655

M3 - Conference contribution

SN - 3-540-41196-8

SP - 420

EP - 439

BT - Integrated Formal Methods, 2nd international Workshop, IFM 2000

CY - Dagstuhl, Germany

ER -

Hermanns H, Katoen JP, Meyer-Kayser J, Siegle M. Towards Model Checking Stochastic Process Algebra. In Integrated Formal Methods, 2nd international Workshop, IFM 2000. Dagstuhl, Germany. 2000. p. 420-439