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

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

For citation:

Neyzov M.V., Kuzmin E.V. Verification of declarative LTL-specification of control programs behavior. Modeling and Analysis of Information Systems. 2024;31(2):120-141. (In Russ.) https://doi.org/10.18255/1818-1015-2024-2-120-141