Luciano Baresi, Marco Mauri, Antonello Monti, Mauro Pezzè. PLCTOOLS: design, formal validation, and code generation for programmable controllers. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000. pages 2437-2442, IEEE, 2000. [doi]
@inproceedings{BaresiMMP00,
title = {PLCTOOLS: design, formal validation, and code generation for programmable controllers},
author = {Luciano Baresi and Marco Mauri and Antonello Monti and Mauro Pezzè},
year = {2000},
doi = {10.1109/ICSMC.2000.884357},
url = {https://doi.org/10.1109/ICSMC.2000.884357},
researchr = {https://researchr.org/publication/BaresiMMP00},
cites = {0},
citedby = {0},
pages = {2437-2442},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions", Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000},
publisher = {IEEE},
isbn = {0-7803-6583-6},
}