Для цитирования:

Гнатенко А.Р., Захаров В.А. О выразительных возможностях некоторых расширений линейной темпоральной логики. Моделирование и анализ информационных систем. 2018;25(5):506-524. https://doi.org/10.18255/1818-1015-2018-5-506-524

For citation:

Gnatenko A., Zakharov V. On the Expressive Power of Some Extensions of Linear Temporal Logic. Modeling and Analysis of Information Systems. 2018;25(5):506-524. (In Russ.) https://doi.org/10.18255/1818-1015-2018-5-506-524