APA (7th ed.) Citation

Urdahl, J., Stoffel, D., Wedler, M., & Kunz, W. (2012). System Verification of Concurrent RTL Modules by Compositional Path Predicate Abstraction. DAC: Annual ACM/IEEE Design Automation Conference, 334.

Chicago Style (17th ed.) Citation

Urdahl, Joakim, Dominik Stoffel, Markus Wedler, and Wolfgang Kunz. "System Verification of Concurrent RTL Modules by Compositional Path Predicate Abstraction." DAC: Annual ACM/IEEE Design Automation Conference 2012: 334.

MLA (9th ed.) Citation

Urdahl, Joakim, et al. "System Verification of Concurrent RTL Modules by Compositional Path Predicate Abstraction." DAC: Annual ACM/IEEE Design Automation Conference, 2012, p. 334.