Specification Techniques for Markov Reward Models

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	219-247
Number of pages	29
Journal	Discrete Event Dynamic Systems
Issue number	3
Publication status	Published - 1993
Externally published	Yes

Keywords

@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",

}