نقدم لكم ملف PDF كامل بعنوان
A Framework for Model Checking Active Database Management Systems
وهو ضمن التصنيف الرئيسي
تكنولوجيا المعلومات
والذي يقع تحت التصنيف الفرعي
نظم إدارة قواعد البيانات
يجدر الذكر أن الملف يقع تحت قسم
الأبحاث والدراسات العلمية (ملفات PDF).