Abdulla, P., Deneux, J., Ouaknine, J., Quaas, K., & Worrell, J. (2008). Universality Analysis for One-Clock Timed Automata.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Abdulla, P., J. Deneux, J. Ouaknine, K. Quaas, و J. Worrell. Universality Analysis for One-Clock Timed Automata. 2008.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Abdulla, P., et al. Universality Analysis for One-Clock Timed Automata. 2008.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.