MGSyn: Automatic Synthesis for Industrial Automation

Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl und 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