Performance evaluation:= (process algebra + model checking) x Markov chains

H. Hermanns, K.G. Larsen (Editor), Mogens Nielsen (Editor), Joost P. Katoen

    Research output: Contribution to conferencePaper

    11 Citations (Scopus)
    225 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Performance evaluation:= (process algebra + model checking) x Markov chains'. Together they form a unique fingerprint.

    Engineering & Materials Science