Yoeli, M., & Kol, R. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. John Wiley & Sons, Incorporated.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Yoeli, Michael, و Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. US: John Wiley & Sons, Incorporated.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Yoeli, Michael, و Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. John Wiley & Sons, Incorporated.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.