Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
дискретн-временной
Связанные издания:
Hardware and Software: Verification and Testing: Proc./10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 2014
Анализ производительности параллельных систем в алгебре dtsiPBC
"Истинно параллельная" и недетерминированная семантика дискоетно-временных сетей Петри