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.

Heuristics for Probabilistic Timed Automata with Abstraction Refinement

Luis María Ferrer Fioriti, Holger Hermanns. Heuristics for Probabilistic Timed Automata with Abstraction Refinement. In Jens B. Schmitt, editor, Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance - 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Volume 7201 of Lecture Notes in Computer Science, pages 151-165, Springer, 2012. [doi]

Authors

Luis María Ferrer Fioriti

This author has not been identified. Look up 'Luis María Ferrer Fioriti' in Google

Holger Hermanns

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