Дрекслер Рольф

Публикации в базе данных Math-Net.Ru

1. Использование информации многобитового уровня в процедурах формальной верификации аппаратных средств
   
   Автомат. и телемех., 2004, № 6,  140–157