تخطي إلى المحتوى

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

بحث متقدم

SAT-solving in CSP trace refin...

استشهد بهذا
أرسل هذا في رسالة قصيرة
أرسل هذا بالبريد الإلكتروني
طباعة
تصدير التسجيلة
رابط دائم

SAT-solving in CSP trace refinement

SAT-solving in CSP trace refinement

عرض إصدارات أخرى (3)

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Palikareva, H, Ouaknine, J, Roscoe, A
التنسيق:	Journal article
منشور في:	2012

المقتنيات
الوصف
إصدارات أخرى (3)
مواد مشابهة
عرض للأخصائي

مواد مشابهة

SAT solving in CSP trace refinement
حسب: Palikareva, H, وآخرون
منشور في: (2012)
SAT−Solving in CSP Trace Refinement
حسب: Palikareva, H, وآخرون
منشور في: (2012)
SAT−solving in CSP trace refinement
حسب: Palikareva, H, وآخرون
منشور في: (2011)
Faster FDR Counterexample Generation Using SAT−Solving
حسب: Palikareva, H, وآخرون
منشور في: (2009)
Static Livelock Analysis in CSP
حسب: Ouaknine, J, وآخرون
منشور في: (2011)

خيارات البحث

سجل البحث
بحث متقدم

ابحث عن المزيد

استعراض الفهرس
استعرض أبجدياً
اكتشف القنوات
الحجز الأكاديمي
مواد جديدة

تحتاج مساعدة ؟

إرشادات حول معاملات البحث
إسأل أخصائي مكتبات
الأسئلة الشائعة