Вы здесь
Логическая унификация бисимуляционных эквивалентностей для временных стабильных структур событий
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2014
Стр.:
С.9-20
Библиография:
Библиогр.: c.19-20
Источник:
Карточка:
Б2.22.
Арабаджи О. В., Грибовская Н. С..
Логическая унификация бисимуляционных эквивалентностей для временных стабильных структур событий// Молодая информатика 4-2014.-С.9-20
Библиогр.: c.19-20
Таблица в старой библиотеке:
ISI3 337