Florian Gobe, Thomas Timmermanns, Oliver Ney, Stefan Kowalewski. Synthesis Tool for Automation Controller Supervision. In Christos G. Cassandras, Alessandro Giua, Zhiwu Li, editors, 13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. pages 424-431, IEEE, 2016. [doi]
@inproceedings{GobeTNK16,
title = {Synthesis Tool for Automation Controller Supervision},
author = {Florian Gobe and Thomas Timmermanns and Oliver Ney and Stefan Kowalewski},
year = {2016},
doi = {10.1109/WODES.2016.7497883},
url = {http://dx.doi.org/10.1109/WODES.2016.7497883},
researchr = {https://researchr.org/publication/GobeTNK16},
cites = {0},
citedby = {0},
pages = {424-431},
booktitle = {13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016},
editor = {Christos G. Cassandras and Alessandro Giua and Zhiwu Li},
publisher = {IEEE},
isbn = {978-1-5090-4190-9},
}