Specification Techniques for Markov Reward Models

Research output: Contribution to journalArticleScientificpeer-review

36 Citations (Scopus)
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