Klaus Dr\"ager

Identifiers

• name variant Klaus Dr\"ager 0.60 · backfill

Papers (1)

1. Model Checking Stochastic Branching Processes cs.LO · 2012 · author #2

Mentions

• 1206.1317 #2 · backfill · confidence 0.70 Klaus Dr\"ager

Frequent Coauthors

• Stefan Kiefer 1 shared papers
• Taolue Chen 1 shared papers