Вы здесь

Formal Verification of a Partial-Order Reduction Technique for Model Checking

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Стр.: 
P.241-257.
Библиография: 
Bibliogr.: p.256-257.
Издательство: 
Том: 
1055
Карточка: 

Б2.23, Б2.4.

Chou C. -T., Peled D..

Formal Verification of a Partial-Order Reduction Technique for Model Checking: Springer// Lecture Notes in Computer Science-1996.-Vol. 1055.-P.241-257.
Bibliogr.: p.256-257.

Таблица в старой библиотеке: 
PAP14 765