Comparative Branching-Time Semantics for Markov Chains

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

    Research output: Book/ReportReportProfessional

    71 Downloads (Pure)
    Filter
    Conference contribution

    Search results

    • 2003

      Comparative branching-time semantics for Markov chains

      Baier, C., Hermanns, H., Katoen, J.-P. & Wolf, V., 2003, CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings. Amadio, R. & Lugiez, D. (eds.). Berlin: Springer, p. 492-507 16 p. (Lecture Notes in Computer Science; vol. 2761).

      Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

      Open Access
      File
      17 Citations (Scopus)
      97 Downloads (Pure)