MGSyn: Automatic Synthesis for Industrial Automation

Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll

Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pp. 658–664

2012 · doi:10.1007/978-3-642-31424-7_46

url:http://dx.doi.org/10.1007/978-3-642-31424-7_46