|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
А. Р. Гнатенко, В. А. Захаров, “О верификации моделей и проверке выполнимости формул одного параметрического расширения темпоральной логики линейного времени”, Модел. и анализ информ. систем, 28:4 (2021), 356–371  |
|
2020 |
| 2. |
А. Р. Гнатенко, В. А. Захаров, “О задаче верификации моделей программ для одного расширения логики CTL*”, Модел. и анализ информ. систем, 27:4 (2020), 428–441 |
1
|
|
2018 |
| 3. |
А. Р. Гнатенко, В. А. Захаров, “О выразительных возможностях некоторых расширений линейной темпоральной логики”, Модел. и анализ информ. систем, 25:5 (2018), 506–524 |
1
|
| 4. |
A. R. Gnatenko, V. A. Zakharov, “On the model checking of finite state transducers over semigroups”, Труды ИСП РАН, 30:3 (2018), 303–324  |
6
|
|
