Tuning SAT for Formal Verification and Testing

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