APA-Zitierstil (7. Ausg.)

Ravi, K., McMillan, K. L., Shiple, T. R., & Somenzi, F. (1998, January). Approximation and decomposition of binary decision diagrams. DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference, 445-450. https://doi.org/10.1145/277044.277168

Chicago-Zitierstil (17. Ausg.)

Ravi, Kavita, Kenneth L. McMillan, Thomas R. Shiple, und Fabio Somenzi. "Approximation and Decomposition of Binary Decision Diagrams." DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference Jan. 1998: 445-450. https://doi.org/10.1145/277044.277168.

MLA-Zitierstil (9. Ausg.)

Ravi, Kavita, et al. "Approximation and Decomposition of Binary Decision Diagrams." DAC 98: DAC: 35th Annual ACM/IEEE Design Automation Conference, Jan. 1998, pp. 445-450, https://doi.org/10.1145/277044.277168.