APA (7th ed.) Citation

Ho, C. R., Theobald, M., Deneroff, M. M., Dror, R. O., Gagliardo, J., & Shaw, D. E. (2008). Early Formal Verification of Conditional Coverage Points to Identify Intrinsically Hard-to-Verify Logic. DAC: Annual ACM/IEEE Design Automation Conference, 268.

Chicago Style (17th ed.) Citation

Ho, C. Richard, Michael Theobald, Martin M. Deneroff, Ron O. Dror, Joseph Gagliardo, and David E. Shaw. "Early Formal Verification of Conditional Coverage Points to Identify Intrinsically Hard-to-Verify Logic." DAC: Annual ACM/IEEE Design Automation Conference 2008: 268.

MLA (9th ed.) Citation

Ho, C. Richard, et al. "Early Formal Verification of Conditional Coverage Points to Identify Intrinsically Hard-to-Verify Logic." DAC: Annual ACM/IEEE Design Automation Conference, 2008, p. 268.