Comparative Branching-Time Semantics for Markov Chains

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

    Research output: Book/ReportReportProfessional

    71 Downloads (Pure)
    Filter
    Article

    Search results