1
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
2
Tekijä Chen, Chien-Liang.
Aiheet:
“...Model checking...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
3
Tekijä Tran, Nhat Hoa
Julkaistu 2023
Aiheet:
“...Model checking techniques...”Julkaistu 2023
Thư viện lưu trữ:
Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Hae kokotekstiHae kokoteksti