Gianola, A. (2023). Verification of Data-Aware Processes via Satisfiability Modulo Theories. Springer Nature.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Gianola, Alessandro. Verification of Data-Aware Processes via Satisfiability Modulo Theories. Springer Nature, 2023.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Gianola, Alessandro. Verification of Data-Aware Processes via Satisfiability Modulo Theories. Springer Nature, 2023.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.