E. V. Kuzmin, Valery A. Sokolov. Modeling, specification and construction of PLC-programs. Automatic Control and Computer Sciences, 48(7):554-563, 2014. [doi]
@article{KuzminS14,
title = {Modeling, specification and construction of PLC-programs},
author = {E. V. Kuzmin and Valery A. Sokolov},
year = {2014},
doi = {10.3103/S0146411614070244},
url = {http://dx.doi.org/10.3103/S0146411614070244},
researchr = {https://researchr.org/publication/KuzminS14},
cites = {0},
citedby = {0},
journal = {Automatic Control and Computer Sciences},
volume = {48},
number = {7},
pages = {554-563},
}