Johannes Kloos

Identifiers

• name variant Johannes Kloos 0.60 · backfill

Papers (1)

1. Incremental, Inductive Coverability cs.LO · 2013 · author #1

Mentions

• 1301.7321 #1 · backfill · confidence 0.70 Johannes Kloos

Frequent Coauthors

• Filip Niksic 1 shared papers
• Rupak Majumdar 1 shared papers
• Ruzica Piskac 1 shared papers