Böhm, P. (2007). Formal Verification of a Clock Synchronization Method in a Distributed Automotive System.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Böhm, P. Formal Verification of a Clock Synchronization Method in a Distributed Automotive System. 2007.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Böhm, P. Formal Verification of a Clock Synchronization Method in a Distributed Automotive System. 2007.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.