Phạm 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 MôTôMat BuChi và Logic thời gian tuyến tính. Đại học Bách khoa Hà Nội.
Trích dẫn kiểu ChicagoPhạm 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 MôTôMat BuChi Và Logic Thời Gian Tuyến Tính. Đại học Bách khoa Hà Nội, 2018.
Deismireacht MLAPhạm 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 MôTôMat BuChi Và Logic Thời Gian Tuyến Tính. Đại học Bách khoa Hà Nội, 2018.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.