Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl, Alois Knoll
MGSyn: Automatic Synthesis for Industrial Automation
CAV, 2012.
@inproceedings{CAV-2012-ChengGRBK,
author = "Chih-Hong Cheng and Michael Geisinger and Harald Rueß and Christian Buckl and Alois Knoll",
booktitle = "{Proceedings of the 24th International Conference on Computer Aided Verification}",
doi = "10.1007/978-3-642-31424-7_46",
isbn = "978-3-642-31423-0",
pages = "658--664",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{MGSyn: Automatic Synthesis for Industrial Automation}",
volume = 7358,
year = 2012,
}
Tags: