External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modelling, Reduction and Analysis of Markov Automata

Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer. Modelling, Reduction and Analysis of Markov Automata. In Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio, editors, Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Volume 8054 of Lecture Notes in Computer Science, pages 55-71, Springer, 2013. [doi]

Authors

Dennis Guck

This author has not been identified. Look up 'Dennis Guck' in Google

Hassan Hatefi

This author has not been identified. Look up 'Hassan Hatefi' in Google

Holger Hermanns

This author has not been identified. Look up 'Holger Hermanns' in Google

Joost-Pieter Katoen

This author has not been identified. It may be one of the following persons: Look up 'Joost-Pieter Katoen' in Google

Mark Timmer

This author has not been identified. Look up 'Mark Timmer' in Google
runs on