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.
    Haverkort, Boudewijn R.H.M. ; Trivedi, Kishor S. / Specification and generation of Markov reward models. Enschede : University of Twente, 1992. 34 p. (Memoranda Informatica; 92-60). (Memorandum TIOS; 92-27).
    @book{7fff720fca94485e95a2f8c5c59c028c,
    title = "Specification and generation of Markov reward models",
    author = "Haverkort, {Boudewijn R.H.M.} and Trivedi, {Kishor S.}",
    year = "1992",
    language = "English",
    series = "Memoranda Informatica",
    publisher = "University of Twente",
    number = "92-60",
    address = "Netherlands",

    }

    Haverkort, BRHM & Trivedi, KS 1992, Specification and generation of Markov reward models. Memoranda Informatica, no. 92-60, Memorandum TIOS, no. 92-27, University of Twente, Enschede.

    Specification and generation of Markov reward models. / Haverkort, Boudewijn R.H.M.; Trivedi, Kishor S.

    Enschede : University of Twente, 1992. 34 p. (Memoranda Informatica; No. 92-60), (Memorandum TIOS; No. 92-27).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Specification and generation of Markov reward models

    AU - Haverkort, Boudewijn R.H.M.

    AU - Trivedi, Kishor S.

    PY - 1992

    Y1 - 1992

    M3 - Report

    T3 - Memoranda Informatica

    BT - Specification and generation of Markov reward models

    PB - University of Twente

    CY - Enschede

    ER -

    Haverkort BRHM, Trivedi KS. Specification and generation of Markov reward models. Enschede: University of Twente, 1992. 34 p. (Memoranda Informatica; 92-60). (Memorandum TIOS; 92-27).