Темпоральные логики для спецификации свойств программных и аппаратных систем. Компьютерные инструменты в образовании [Internet]. 2014 Jan. 21 [cited 2026 Jul. 24];(2). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1174