On the Expressive Power of Some Extensions of Linear Temporal Logic


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

Resumo

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

Sobre autores

A. Gnatenko

National Research University, Higher School of Economics (HSE)

Autor responsável pela correspondência
Email: gnatenko.cmc@gmail.com
Rússia, Moscow, 101000

V. Zakharov

National Research University, Higher School of Economics (HSE)

Autor responsável pela correspondência
Email: zakh@cs.msu.ru
Rússia, Moscow, 101000

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Allerton Press, Inc., 2019