Вы здесь

An Executable Specification and Verifier for Relaxed Memory Order

Автор: 
Количество экземпляров: 
1
Вид: 
Статья из сборника или журнала
Год: 
1999
Стр.: 
P.227-235.
Библиография: 
Bibliogr.: p.234
Источник: 
Номер: 
2
Том: 
48
Карточка: 

А5.15, А5.11.

Park S., Dill D. L..

An Executable Specification and Verifier for Relaxed Memory Order// IEEE Trans. on Computers-1999, №2.-Vol. 48.-P.227-235.
Bibliogr.: p.234

Таблица в старой библиотеке: 
PAP19 438