Charvát, L., Smrčka, A., & Vojnar, T. (2016, December). HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. Electronic Proceedings in Theoretical Computer Science.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Charvát, Lukáš, Aleš Smrčka, و Tomáš Vojnar. "HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems." Electronic Proceedings in Theoretical Computer Science Dec. 2016.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Charvát, Lukáš, et al. "HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems." Electronic Proceedings in Theoretical Computer Science, Dec. 2016.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.