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.

Phan Thị Thái, Ninh, ja 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.

Phan Thị Thái, Ninh, ja 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.