Phan Thị Thái, N., & TS. Huỳnh Quyết, T. (2018). Kiểm tra mô hình phần mềm sử dụng lý thuyết ÔTÔMAT BUCHI và LOGIC thời gian tuyến tính. Đại học Bách khoa Hà Nội.
Chicago Style aipamenaPhan Thị Thái, Ninh, và Thắng TS. Huỳnh Quyết. Kiểm Tra Mô Hình Phần Mềm Sử Dụng Lý Thuyết ÔTÔMAT BUCHI Và LOGIC Thời Gian Tuyến Tính. Đại học Bách khoa Hà Nội, 2018.
MLA aipamenaPhan Thị Thái, Ninh, và Thắng TS. Huỳnh Quyết. Kiểm Tra Mô Hình Phần Mềm Sử Dụng Lý Thuyết ÔTÔMAT BUCHI Và LOGIC Thời Gian Tuyến Tính. Đại học Bách khoa Hà Nội, 2018.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.