Yu Lo, L. L. (2013). Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica.
Παραπομπή σε μορφή Chicago (17η εκδ.)Yu Lo, Lucky Lochi. Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica, 2013.
Παραπομπή σε μορφή MLA (9th εκδ.)Yu Lo, Lucky Lochi. Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica, 2013.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.