APA (7th ed.) Citation

Marcilio, G., Santos, L. C. V., Albertini, B., & Rigo, S. (2009). A Novel Verification Technique to Uncover Out-of-Order DUV Behaviors. DAC: Annual ACM/IEEE Design Automation Conference, 448.

Chicago Style (17th ed.) Citation

Marcilio, Gabriel, Luiz C. V. Santos, Bruno Albertini, and Sandro Rigo. "A Novel Verification Technique to Uncover Out-of-Order DUV Behaviors." DAC: Annual ACM/IEEE Design Automation Conference 2009: 448.

MLA (9th ed.) Citation

Marcilio, Gabriel, et al. "A Novel Verification Technique to Uncover Out-of-Order DUV Behaviors." DAC: Annual ACM/IEEE Design Automation Conference, 2009, p. 448.