Confluence reduction for Markov automata

Mark Timmer*, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga

*Corresponding author for this work

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

    8 Citations (Scopus)
    220 Downloads (Pure)
    • 8 Citations
    • 2 Conference contribution
    • 1 Report
    Filter
    Conference contribution

    Search results

    • 2013

      Confluence reduction for Markov automata

      Timmer, M., van de Pol, J. & Stoelinga, M., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 18 4 p.

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

      Open Access
      File
      107 Downloads (Pure)

    • Confluence Reduction for Markov Automata

      Timmer, M., van de Pol, J. & Stoelinga, M. I. A., Aug 2013, Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Braberman, V. & Fribourg, L. (eds.). Berlin: Springer, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

      Open Access
      File
      21 Citations (Scopus)
      122 Downloads (Pure)