APA (7th ed.) Citation

Pixley, C., Jeong, S., & Hachtel, G. (1992). Exact calculation of synchronization sequences based on binary decision diagrams. [1992] Proceedings 29th ACM/IEEE Design Automation Conference, 620-623. https://doi.org/10.1109/DAC.1992.227811

Chicago Style (17th ed.) Citation

Pixley, C., S.-W Jeong, and G.D Hachtel. "Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams." [1992] Proceedings 29th ACM/IEEE Design Automation Conference 1992: 620-623. https://doi.org/10.1109/DAC.1992.227811.

MLA (9th ed.) Citation

Pixley, C., et al. "Exact Calculation of Synchronization Sequences Based on Binary Decision Diagrams." [1992] Proceedings 29th ACM/IEEE Design Automation Conference, 1992, pp. 620-623, https://doi.org/10.1109/DAC.1992.227811.