Вы здесь

Verifying Commit-Atomicity Using Model-Checking

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
2004
Стр.: 
P.252-266
Библиография: 
Bibliogr.: p.264-266
Издательство: 
Том: 
2989
Карточка: 

Б3.54.

Flanagan C..

Verifying Commit-Atomicity Using Model-Checking: Springer// Lecture Notes in Computer Science-2004.-Vol. 2989.-P.252-266
Bibliogr.: p.264-266

Таблица в старой библиотеке: 
PAP28 557