Вы здесь
Symbol Model Checking
Количество экземпляров:
1
Колл. автор:
Вид:
Препринт
Год:
1996
Ключевые слова:
Стр.:
55 p.
Место издания:
Номер:
NS-96-4
Карточка:
Б2.1.
Clarke E. M..
Symbol Model Checking-Trykkeriet., 1996.-55 p.-(Препринт Basic Research in Computer Science №NS-96-4).
Таблица в старой библиотеке:
PREP2 388