Implementing a Model Checker for Performability Behaviour

H. Hermanns, R. German (Editor), Joost P. Katoen, J. Meyer-Kayser

    Research output: Contribution to conference › Paper › peer-review

    45 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Implementing a Model Checker for Performability Behaviour'. Together they form a unique fingerprint.