Семинар «Использование автоматов Бучи (Buchi) для описания семантики линейной временной логики»

Помимо сотрудников компании в семинаре приняли участие аспиранты и магистры НИЯУ МИФИ и МИСиС. Семинар прошел он-лайн.