Construction and verification of PLC-programs by LTL-specification
Crossref DOI link: https://doi.org/10.3103/S0146411615070159
Published Online: 2016-01-28
Published Print: 2015-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kuzmin, E. V.
Sokolov, V. A.
Ryabukhin, D. A.
Text and Data Mining valid from 2015-12-01