VAVILENKOVA, A. Застосування темпоральної логіки при побудові формальних моделей електронних текстів. Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях, [S. l.], n. 23(1245), p. 84–88, 2017. DOI: 10.20998/2413-4295.2017.23.13. Disponível em: http://vestnik2079-5459.khpi.edu.ua/article/view/2413-4295.2017.23.13. Acesso em: 5 трав. 2024.