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

Нейзов М.В., Кузьмин Е.В. LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью. Моделирование и анализ информационных систем. 2024;31(3):240-279. https://doi.org/10.18255/1818-1015-2024-3-240-279

For citation:

Neyzov M.V., Kuzmin E.V. LTL-specification for development and verification of logical control programs in feedback systems. Modeling and Analysis of Information Systems. 2024;31(3):240-279. (In Russ.) https://doi.org/10.18255/1818-1015-2024-3-240-279