Вы здесь

Thread-Modular Model Checking

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

Б3.5.

Flanagan C., Qadeer S..

Thread-Modular Model Checking: Springer// Lecture Notes in Computer Science-2003.-Vol. 2648.-P.213-224
Bibliogr.: p.224

Таблица в старой библиотеке: 
PAP26 792