Andreas Vorpahl

Identifiers

• name variant Andreas Vorpahl 0.60 · backfill

Papers (1)

1. The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains cs.SE · 2012 · author #5

Mentions

• 1206.0603 #5 · backfill · confidence 0.70 Andreas Vorpahl

Frequent Coauthors

• Bernd Becker 1 shared papers
• Erika \'Abrah\'am 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Maik Scheffler 1 shared papers
• Matthias Volk 1 shared papers
• Nils Jansen 1 shared papers
• Ralf Wimmer 1 shared papers