Maron M Ye

Publications in Math-Net.Ru

1. Verification methods for multiprocessor systems
   
   Avtomat. i Telemekh., 1990, no. 1,  159–165
2. On effectiveness of multiprocessor virtual memory
   
   Avtomat. i Telemekh., 1980, no. 4,  173–176