Peter Faymonville (Saarland University)

Identifiers

• name variant Peter Faymonville (Saarland University) 0.60 · backfill

Papers (1)

1. Parametric Linear Dynamic Logic cs.LO · 2014 · author #1

Mentions

• 1408.5957 #1 · backfill · confidence 0.70 Peter Faymonville (Saarland University)

Frequent Coauthors

• Martin Zimmermann (Saarland University) 1 shared papers