Бисимуляционная эквивалентность систем переходов с реальным временем - доклад на конференции | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Авторы: Попков Г.А., Подымов В.В.
Всероссийская Конференция : Научная конференция "Тихоновские чтения 2020" (Москва, Россия, 26-31 октября 2020)
Даты проведения конференции: 26-31 октября 2020
Дата доклада: 27 октября 2020
Тип доклада: Устный
Докладчик: Подымов В.В.
Место проведения: Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Russia

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ИНХС РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА