Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Geographic : china

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Improving Encoding Efficiency for Bounded Model Checking

Authors : Yang, Jinji; Su, Kaile; Chen, Qingliang

Subjects: Computational logic and formal languagesNanjing; China2008-06-17 to 2008-06-19

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي