Вы здесь
Using Formal Methods to Serialize Synchronization Events
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2003
Ключевые слова:
Стр.:
P.34-47
Библиография:
Bibliogr.: p.46-47
Источник:
Том:
2885
Карточка:
Б3.54.
Chen J..
Using Formal Methods to Serialize Synchronization Events// Lecture Notes in Computer Science-2003.-Vol. 2885.-P.34-47
Bibliogr.: p.46-47
Таблица в старой библиотеке:
PAP27 945