Holger Hermanns (Saarland University -- Computer Science

Identifiers

• name variant Holger Hermanns (Saarland University -- Computer Science 0.60 · backfill

Papers (1)

1. Cost Preserving Bisimulations for Probabilistic Automata cs.FL · 2014 · author #6

Mentions

• 1410.8314 #6 · backfill · confidence 0.70 Holger Hermanns (Saarland University -- Computer Science

Frequent Coauthors

• Andrea Turrini (State Key Laboratory of Computer Science 1 shared papers
• Beijing 1 shared papers
• China) 1 shared papers
• Chinese Academy of Sciences 1 shared papers
• Germany) 1 shared papers
• Institute of Software 1 shared papers
• Saarbruecken 1 shared papers