Lohmann, S., Thi, L. A. D., & Stursberg, O. (2006). Design of verified logic control programs. 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE, 1855. https://doi.org/10.1109/CACSD-CCA-ISIC.2006.4776923
Παραπομπή σε μορφή Chicago (17η εκδ.)Lohmann, Sven, Lan Anh Dinh Thi, και Olaf Stursberg. "Design of Verified Logic Control Programs." 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE 2006: 1855. https://doi.org/10.1109/CACSD-CCA-ISIC.2006.4776923.
Παραπομπή σε μορφή MLA (9th εκδ.)Lohmann, Sven, et al. "Design of Verified Logic Control Programs." 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control, 2006 IEEE, 2006, p. 1855, https://doi.org/10.1109/CACSD-CCA-ISIC.2006.4776923.