Для цитирования:

Гаранина Н.О., Ануреев И.С., Зюбин В.Е., Старолетов С.М., Лях Т.В., Розов А.С., Горлач С.П. Темпоральная логика для программируемых логических контроллеров. Моделирование и анализ информационных систем. 2020;27(4):412-427. https://doi.org/10.18255/1818-1015-2020-4-412-427

For citation:

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