APA Citation

Yu Lo, L. L. (2013). Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica.

Chicago Style Citation

Yu Lo, Lucky Lochi. Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica, 2013.

MLA Citation

Yu Lo, Lucky Lochi. Verification of Transaction Level Models of Embedded Systems. Universidad de Costa Rica, 2013.

Warning: These citations may not always be 100% accurate.