مقاله ترجمه شده کامپیوتر: تجزیه و تحلیل پروتکل چندبخشی عمومی عملگرا (PGM) توسط مدل اوپال (UPPAAL)

سال نشر: ۲۰۱۳ تعداد صفحه انگلیسی:۴ تعداد صفحه ترجمه فارسی:     ۶  صفحه word