On the Expressive Power of Some Extensions of Linear Temporal Logic


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

Толық мәтін

Ашық рұқсат Ашық рұқсат
Рұқсат жабық Рұқсат берілді
Рұқсат жабық Тек жазылушылар үшін

Аннотация

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

Авторлар туралы

A. Gnatenko

National Research University, Higher School of Economics (HSE)

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

V. Zakharov

National Research University, Higher School of Economics (HSE)

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

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Allerton Press, Inc., 2019