Comparative Branching-Time Semantics for Markov Chains

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

    Research output: Book/Report › Report › Professional

    70 Downloads (Pure)
    • 1 Conference contribution
    • 1 Article

    Search results

    • 2005

      Comparative branching-time semantics for Markov chains

      Baier, C., Katoen, J.-P., Hermanns, H. & Wolf, V., 2005, In: Information and computation. 200, 2, p. 149-214 66 p.

      Research output: Contribution to journal › Article › Academic › peer-review

      Open Access
      File
      118 Citations (Scopus)
      142 Downloads (Pure)
    • 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 proceeding › Conference contribution › Academic › peer-review

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