Thomas Weidner

Identifiers

• name variant Thomas Weidner 0.60 · backfill

Papers (1)

1. Model Checking Constraint LTL over Trees cs.LO · 2015 · author #2

Mentions

• 1504.06105 #2 · backfill · confidence 0.70 Thomas Weidner

Frequent Coauthors

• Alexander Kartzow 1 shared papers