Cita APA

Lo Chi Yu Lo, L., & Lo Chi Yu Lo, L. (2009). Automatic generation and verification of transaction level models. Irvine, Calif.

Citación estilo Chicago

Lo Chi Yu Lo, Lucky, y Lucky Lo Chi Yu Lo. Automatic Generation and Verification of Transaction Level Models. Irvine, Calif, 2009.

Cita MLA

Lo Chi Yu Lo, Lucky, y Lucky Lo Chi Yu Lo. Automatic Generation and Verification of Transaction Level Models. Irvine, Calif, 2009.