|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1990 |
| 1. |
М. Е. Марон, “Методы доказательного контроля функционирования многопроцессорных систем”, Автомат. и телемех., 1990, № 1, 159–165   ; M. Y. Maron, “Verification methods for multiprocessor systems”, Autom. Remote Control, 51:1 (1990), 128–133 |
|
1980 |
| 2. |
А. Н. Годунов, Н. Е. Емельянов, М. Е. Марон, “Об эффективности мультипроцессной виртуальной памяти”, Автомат. и телемех., 1980, № 4, 173–176 ; A. N. Godunov, N. E. Emel'yanov, M. Y. Maron, “On effectiveness of multiprocessor virtual memory”, Autom. Remote Control, 41:4 (1980), 581–584 |
|
Обратная связь: