Login
- Titel:
MGSyn: Automatic Synthesis for Industrial Automation
- Autor(en):
- Cheng, Chih-Hong; Geisinger, Michael; Ruess, Harald; Buckl, Christian; Knoll, Alois
- Kongress- / Buchtitel:
- Proceedings of the International Conference on Computer Aided Verification (CAV) 2012
- Jahr:
- 2012
- Volltext / DOI:
- doi:10.1007/978-3-642-31424-7_46
BibTeX