2006. Обзор подходов к верификации распределенных систем

И.Б.Бурдонов, А.С.Косачев, Пономаренко В.Н.
Обзор подходов к верификации распределенных систем.
ИСП РАН, препринт 16, М., 2006.
61 стр.