Lo Chi Yu Lo, L., & Lo Chi Yu Lo, L. (2009). Automatic generation and verification of transaction level models. Irvine, Calif.
Chicago Style CitationLo Chi Yu Lo, Lucky, and Lucky Lo Chi Yu Lo. Automatic Generation and Verification of Transaction Level Models. Irvine, Calif, 2009.
MLA CitationLo Chi Yu Lo, Lucky, and Lucky Lo Chi Yu Lo. Automatic Generation and Verification of Transaction Level Models. Irvine, Calif, 2009.
Warning: These citations may not always be 100% accurate.