On the Expressive Power of Some Extensions of Linear Temporal Logic

Авторлар: Gnatenko A.R.¹, Zakharov V.A.¹
Мекемелер:
1. National Research University, Higher School of Economics (HSE)
Шығарылым: Том 53, № 7 (2019)
Беттер: 663-675
Бөлім: Article
URL: https://journals.rcsi.science/0146-4116/article/view/175896
DOI: https://doi.org/10.3103/S014641161907006X
ID: 175896

Дәйексөз келтіру

Толық мәтін

Ашық рұқсат
Рұқсат жабық

Рұқсат берілді
Рұқсат жабық

Тек жазылушылар үшін

temporal logics, expressive power, specification, verification, Büchi automata, infinite words

National Research University, Higher School of Economics (HSE)

Хат алмасуға жауапты Автор.
Email: gnatenko.cmc@gmail.com
Ресей, Moscow, 101000

National Research University, Higher School of Economics (HSE)

Хат алмасуға жауапты Автор.
Email: zakh@cs.msu.ru
Ресей, Moscow, 101000

Әрекет

1. JATS XML