Вы здесь

Partial Order Reduction: Model-Checking Using Representatives

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1996
Стр.: 
P.93-112
Библиография: 
Bibliogr.: p.110-112
Место издания: 
Том: 
1113
Карточка: 

Б2.23, Б2.42.

Peled D..

Partial Order Reduction: Model-Checking Using Representatives-Berlin, Heidelberg.// Mathematical Foundations of Computer Science 1996, 1996.-Vol. 1113.-P.93-112-(Lecture Notes in Computer Science).
Bibliogr.: p.110-112

Таблица в старой библиотеке: 
PAP15 463