J.UCS Special Issue on Tools for System Design and Verification

Дата
Авторы
Berghammer,Rudolf
Haneberg,Dominik
Reif,Wolfgang
Schellhorn,Gerhard
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
Ключевые слова
Цитирование
URI
https://openrepository.mephi.ru/handle/123456789/8288
Коллекции
Публикации в журналах НИЯУ МИФИ