|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2010 |
1. |
С. Л. Френкель, А. Л. Курц, Д. Л. Либуркин, H. A. Фандюшина, Б. Н. Андерс, “Транслятор табличных представлений автоматов Мили в программы на языке SMV для автоматизации верификации проектов вычислительных устройств на основе Проверки Моделей”, Системы и средства информ., 20:3 (2010), 4–16 |
|