Публикации
References
Articles: |
---|
О корректности параллельных алгоритмов
журнал РАН "Программирование",
№4:5-17
1996
|
Анализ корректности параллельной программы разделения множеств
журнал РАН "Программирование",
№6:27-33
1996
|
Contributions to proceedings: |
Real-Time Concurrent System Modeling Environment
Proceedings of A. Ershov 2nd Int. Memorial Conference on Perspectives of System Informatics, Novosibirsk
1996
|
mailto: webmaster@dcn.ftk.spbstu.ru