Nguyễn, V. T., & Nguyễn, T. T. (2017). Kiểm chứng hình thức cho hệ thống tương tranh sử dụng ngôn ngữ đặc tả CSP # và công cụ pat. Đại học Công nghệ.
استشهاد بنمط شيكاغوNguyễn, Văn Trãi, و Trường Thắng Nguyễn. Kiểm Chứng Hình Thức Cho Hệ Thống Tương Tranh Sử Dụng Ngôn Ngữ đặc Tả CSP # Và Công Cụ Pat. Đại học Công nghệ, 2017.
MLA استشهادNguyễn, Văn Trãi, و Trường Thắng Nguyễn. Kiểm Chứng Hình Thức Cho Hệ Thống Tương Tranh Sử Dụng Ngôn Ngữ đặc Tả CSP # Và Công Cụ Pat. Đại học Công nghệ, 2017.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.