Об одном подходе к верификации симметрических параметризованных распределенных системстатья

Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 24 января 2020 г.

Работа с статьей


[1] Захаров В. А., Коннов И. В. Об одном подходе к верификации симметрических параметризованных распределенных систем // Программирование. — 2005. — № 5. — С. 24–36.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть