Stefan W\"ohrle

Identifiers

• name variant Stefan W\"ohrle 0.60 · backfill

Papers (1)

1. Model Checking Synchronized Products of Infinite Transition Systems cs.LO · 2007 · author #1

Mentions

• 0710.5659 #1 · backfill · confidence 0.70 Stefan W\"ohrle

Frequent Coauthors

• Wolfgang Thomas 1 shared papers