Wolfgang Thomas

Identifiers

• name variant Wolfgang Thomas 0.60 · backfill

Papers (2)

1. Optimal Strategy Synthesis for Request-Response Games cs.FL · 2014 · author #2
2. Model Checking Synchronized Products of Infinite Transition Systems cs.LO · 2007 · author #2

Mentions

• 1406.4648 #2 · backfill · confidence 0.70 Wolfgang Thomas
• 0710.5659 #2 · backfill · confidence 0.70 Wolfgang Thomas

Frequent Coauthors

• Florian Horn 1 shared papers
• Martin Zimmermann 1 shared papers
• Nico Wallmeier 1 shared papers
• Stefan W\"ohrle 1 shared papers