Stefan Stattelmann

Identifiers

• name variant Stefan Stattelmann 0.60 · backfill

Papers (1)

1. G4LTL-ST: Automatic Generation of PLC Programs cs.LO · 2014 · author #4

Mentions

• 1405.2409 #4 · backfill · confidence 0.70 Stefan Stattelmann

Frequent Coauthors

• Chih-Hong Cheng 1 shared papers
• Chung-Hao Huang 1 shared papers
• Harald Ruess 1 shared papers