Travelled to:
1 × USA
Collaborated with:
C.Cheng H.Rueß C.Buckl A.Knoll
Talks about:
synthesi (1) industri (1) automat (1) autom (1) syn (1)
Person: Michael Geisinger
DBLP: Geisinger:Michael
Contributed to:
Wrote 1 papers:
- CAV-2012-ChengGRBK #automation #industrial #named #synthesis
- MGSyn: Automatic Synthesis for Industrial Automation (CHC, MG, HR, CB, AK), pp. 658–664.