نقدم لكم ملف PDF كامل بعنوان Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem وهو ضمن التصنيف الرئيسي تكنولوجيا المعلومات والذي يقع تحت التصنيف الفرعي ادارة الأنظمة المعلوماتية والشبكية يجدر الذكر أن الملف يقع تحت قسم رسائل الماجستير والدكتوراه (ملفات PDF).