For citations:
Garanina N.O., Anureev I.S., Zyubin V.E., Staroletov S.M., Liakh T.V., Rozov A.S., Gorlatch S.P. Temporal Logic for Programmable Logic Controllers. Modeling and Analysis of Information Systems. 2020;27(4):412-427. (In Russ.) https://doi.org/10.18255/1818-1015-2020-4-412-427
Email this article 