1
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
2
Pynciau:
“...Model checking...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
3
gan Tran, Nhat Hoa
Cyhoeddwyd 2023
Pynciau:
“...Model checking techniques...”Cyhoeddwyd 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
Cael y testun llawnCael y testun llawn