ورود
مقالات فارسیISIکنفرانسهاژورنالها

مقالات دوفصلنامه محاسبات و سامانه های توزیع شده، دوره 6، شماره 2

1.Modeling and Formal Verification of a Distributed Mutual Exclusion Algorithm
تاریخ نمایه سازی مقالات: 3 تیر 1403 - تعداد نمایش اطلاعات ژورنال: 36