Comparative Branching-Time Semantics for Markov Chains

Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Verena Wolf

    Research output: Book/ReportReportProfessional

    56 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Comparative Branching-Time Semantics for Markov Chains'. Together they form a unique fingerprint.

    Engineering & Materials Science