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

Нейзов М.В., Кузьмин Е.В. LTL-спецификация для разработки и верификации управляющих программ. Моделирование и анализ информационных систем. 2023;30(4):308-339. https://doi.org/10.18255/1818-1015-2023-4-308-339. EDN: LDUGES

For citation:

Neyzov M.V., Kuzmin E.V. LTL-specification for development and verification of control programs. Modeling and Analysis of Information Systems. 2023;30(4):308-339. (In Russ.) https://doi.org/10.18255/1818-1015-2023-4-308-339. EDN: LDUGES