APA Citation

Lochi Yu Lo, L. Verification of transaction level models of embedded systems.

Chicago Style Citation

Lochi Yu Lo, Lucky. Verification of Transaction Level Models of Embedded Systems.

MLA Citation

Lochi Yu Lo, Lucky. Verification of Transaction Level Models of Embedded Systems.

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