APA (7th ed.) Citation

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 Style (17th ed.) Citation

Ravi, Kavita, Kenneth L. McMillan, Thomas R. Shiple, and 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 (9th ed.) Citation

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.