On the Expressive Power of Some Extensions of Linear Temporal Logic


如何引用文章

全文:

开放存取 开放存取
受限制的访问 ##reader.subscriptionAccessGranted##
受限制的访问 订阅存取

详细

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