Вы здесь

Veneris A. G.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations 1993 Kirousis L. M., Veneris A. G. Lecture Notes in Computer Science 28.10.1993