| |
Камкин, А. С.
Проецирование ситем переходов: преодоление комбинаторного взрыва при верификации параллельных систем [Текст] / А. С. Камкин
// Программирование. – 2015. – № 6. – С. 53-71.
Рассматривается метод преодоления комбинаторного взрыва числа состояний, возникающего при верификации параллельных и распределенных компьютерных систем. |
