Performance analysis := (process algebra + model checking) x Markov chains

H. Hermanns, Joost P. Katoen

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined
Pages (from-to)-
Number of pages23
JournalLecture notes in artificial intelligence
Volume2154
Publication statusPublished - 2001

Keywords

  • METIS-205775

Cite this

@article{a658ab1fc5a14b39aa6a4ec211cb0fa7,
title = "Performance analysis := (process algebra + model checking) x Markov chains",
keywords = "METIS-205775",
author = "H. Hermanns and Katoen, {Joost P.}",
note = "Proceedings of CONCUR 2001 - Concurency Theory, Berlin, Springer-Verlag",
year = "2001",
language = "Undefined",
volume = "2154",
pages = "--",
journal = "Lecture notes in artificial intelligence",
issn = "0302-9743",
publisher = "Springer",

}

Performance analysis := (process algebra + model checking) x Markov chains. / Hermanns, H.; Katoen, Joost P.

In: Lecture notes in artificial intelligence, Vol. 2154, 2001, p. -.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Performance analysis := (process algebra + model checking) x Markov chains

AU - Hermanns, H.

AU - Katoen, Joost P.

N1 - Proceedings of CONCUR 2001 - Concurency Theory, Berlin, Springer-Verlag

PY - 2001

Y1 - 2001

KW - METIS-205775

M3 - Article

VL - 2154

SP - -

JO - Lecture notes in artificial intelligence

JF - Lecture notes in artificial intelligence

SN - 0302-9743

ER -