Specification and generation of Markov reward models

Boudewijn R.H.M. Haverkort, Kishor S. Trivedi

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages34
    Publication statusPublished - 1992

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    No.92-60
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.92-27

    Cite this

    Haverkort, B. R. H. M., & Trivedi, K. S. (1992). Specification and generation of Markov reward models. (Memoranda Informatica; No. 92-60), (Memorandum TIOS; No. 92-27). Enschede: University of Twente.