Yu Lo, L. L. (2013). Verification of Transaction Level Models of Embedded Systems.
Trích dẫn kiểu ChicagoYu Lo, Lucky Lochi. Verification of Transaction Level Models of Embedded Systems. 2013.
Trích dẫn MLAYu Lo, Lucky Lochi. Verification of Transaction Level Models of Embedded Systems. 2013.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.