Вы здесь

Error Detection with Directed Symbolic Model Checking

Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.195-211.
Библиография: 
Bibliogr.: p.210-211
Издательство: 
Том: 
1708
Карточка: 

Б3.54.

Reffel F., Edelkamp S..

Error Detection with Directed Symbolic Model Checking: Springer// Lecture Notes in Computer Science-1999.-Vol. 1708.-P.195-211.
Bibliogr.: p.210-211

Таблица в старой библиотеке: 
PAP20 369