Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Дрекслер Рольф
В базах данных Math-Net.Ru
Публикаций: 1
Научных статей: 1

Статистика просмотров:
Эта страница:65
Страницы публикаций:166
Полные тексты:45
Списки литературы:32

https://www.mathnet.ru/rus/person68361
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2004
1. Рольф Дрекслер, “Использование информации многобитового уровня в процедурах формальной верификации аппаратных средств”, Автомат. и телемех., 2004, № 6,  140–157  mathnet  mathscinet  zmath; R. Drechsler, “Using word-level information in formal hardware verification”, Autom. Remote Control, 65:6 (2004), 963–977  isi  scopus 7

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024