Specification Techniques for Markov Reward Models

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Pages (from-to)219-247
Number of pages29
JournalDiscrete Event Dynamic Systems
Issue number3
Publication statusPublished - 1993
Externally publishedYes

Keywords

  • METIS-118786

Cite this

@article{834338ac170c45868837dc3ec2e6d506,
title = "Specification Techniques for Markov Reward Models",
keywords = "METIS-118786",
author = "Haverkort, {Boudewijn R.H.M.} and K.S. Trivedi",
year = "1993",
language = "English",
pages = "219--247",
journal = "Discrete Event Dynamic Systems",
issn = "0924-6703",
publisher = "Springer Netherlands",
number = "3",

}

Specification Techniques for Markov Reward Models. / Haverkort, Boudewijn R.H.M.; Trivedi, K.S.

In: Discrete Event Dynamic Systems, No. 3, 1993, p. 219-247.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Specification Techniques for Markov Reward Models

AU - Haverkort, Boudewijn R.H.M.

AU - Trivedi, K.S.

PY - 1993

Y1 - 1993

KW - METIS-118786

M3 - Article

SP - 219

EP - 247

JO - Discrete Event Dynamic Systems

JF - Discrete Event Dynamic Systems

SN - 0924-6703

IS - 3

ER -