APA (7th ed.) Citation

Drechsler, R. (2004). Using Word-Level Information in Formal Hardware Verification. Automation & Remote Control, 65(6), 963. https://doi.org/10.1023/B:AURC.0000030907.28679.82

Chicago Style (17th ed.) Citation

Drechsler, R. "Using Word-Level Information in Formal Hardware Verification." Automation & Remote Control 65, no. 6 (2004): 963. https://doi.org/10.1023/B:AURC.0000030907.28679.82.

MLA (9th ed.) Citation

Drechsler, R. "Using Word-Level Information in Formal Hardware Verification." Automation & Remote Control, vol. 65, no. 6, 2004, p. 963, https://doi.org/10.1023/B:AURC.0000030907.28679.82.