User: Guest  Login
Author(s):
Cheng, Chih-Hong; Geisinger, Michael; Ruess, Harald; Buckl, Christian; Knoll, Alois 
Title:
MGSyn: Automatic Synthesis for Industrial Automation 
Book / Congress title:
Proceedings of the International Conference on Computer Aided Verification (CAV) 2012 
Year:
2012