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