j
k
j a
j l
По просьбам трудящихся, уточняю.
Конкретно меня интересует вопрос авторства следующих работ:
1. Багрова-Сухаренко-Чеботарёв-Летунов-Шаповалов
2. Шахрай-Хайруллин
3. Староверов-Тарасенко
4. Колосов-Кравец
С уважением, Константин Савенков.
Показать ответы по дате
model-checking@asvk.cs.msu.ru
Добавить в избранное Удалить из избранного