Результати пошуку - "UDC 519.686.2" :: Harvester open publications of NAS Ukraine

Вибрати результат під номером 1
1

Optimization of checking the feasibility of transitions when verifying formal models за авторством Kolchin, A.V.

Опубліковано 2015

Отримати повний текст

Стаття

standalone_record_link
Додати у Вибране

Збережено в: