Карпов, Ю. (2014) «Темпоральные логики для спецификации свойств программных и аппаратных систем», Компьютерные инструменты в образовании, 0(2). доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1174 (просмотрено: 18май2024).