Login
- Title:
MGSyn: Automatic Synthesis for Industrial Automation
- Author(s):
- Cheng, Chih-Hong; Geisinger, Michael; Ruess, Harald; Buckl, Christian; Knoll, Alois
- Book / Congress title:
- Proceedings of the International Conference on Computer Aided Verification (CAV) 2012
- Year:
- 2012
- Fulltext / DOI:
- doi:10.1007/978-3-642-31424-7_46
BibTeX