Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variablesстатья

Информация о цитировании статьи получена из Web of Science, Scopus
Дата последнего поиска статьи во внешних источниках: 8 апреля 2021 г.