Семинар «Использование автоматов Бучи (Buchi) для описания семантики линейной временной логики»
состоялся 06 сентября (18.00) 2021 г.
Помимо сотрудников компании в семинаре
приняли участие аспиранты и магистры
НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн.