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
Citace podle Chicago (17th ed.)Ravi, Kavita, Kenneth L. McMillan, Thomas R. Shiple, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..