Automated compositional Markov chain generation for a plain-old telephone system

H. Hermanns, Joost P. Katoen

Research output: Contribution to journalArticleAcademicpeer-review

Original languageUndefined
Pages (from-to)97-127
Number of pages31
JournalScience of computer programming
Volume36
Issue number1
DOIs
Publication statusPublished - 2000

Keywords

  • METIS-118695

Cite this

@article{2cb856e2ad7e4a4d9cf6adaa883cdd39,
title = "Automated compositional Markov chain generation for a plain-old telephone system",
keywords = "METIS-118695",
author = "H. Hermanns and Katoen, {Joost P.}",
year = "2000",
doi = "10.1016/S0167-6423(99)00019-2",
language = "Undefined",
volume = "36",
pages = "97--127",
journal = "Science of computer programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "1",

}

Automated compositional Markov chain generation for a plain-old telephone system. / Hermanns, H.; Katoen, Joost P.

In: Science of computer programming, Vol. 36, No. 1, 2000, p. 97-127.

Research output: Contribution to journalArticleAcademicpeer-review

TY - JOUR

T1 - Automated compositional Markov chain generation for a plain-old telephone system

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 2000

Y1 - 2000

KW - METIS-118695

U2 - 10.1016/S0167-6423(99)00019-2

DO - 10.1016/S0167-6423(99)00019-2

M3 - Article

VL - 36

SP - 97

EP - 127

JO - Science of computer programming

JF - Science of computer programming

SN - 0167-6423

IS - 1

ER -