Ralf Wimmer (University of Freiburg

Identifiers

• name variant Ralf Wimmer (University of Freiburg 0.60 · backfill

Papers (1)

1. High-level Counterexamples for Probabilistic Automata cs.SE · 2013 · author #1

Mentions

• 1305.5055 #1 · backfill · confidence 0.70 Ralf Wimmer (University of Freiburg

Frequent Coauthors

• Erika \'Abrah\'am (RWTH Aachen University 1 shared papers
• Germany) 1 shared papers
• Joost-Pieter Katoen (RWTH Aachen University 1 shared papers
• Nils Jansen (RWTH Aachen University 1 shared papers