APA (7th ed.) Citation

Ravi, K., & Somenzi, F. (1995, December). High-density reachability analysis. Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design, 154-158. https://doi.org/10.5555/224841.224874

Chicago Style (17th ed.) Citation

Ravi, Kavita, and Fabio Somenzi. "High-density Reachability Analysis." Proceedings of the 1995 IEEE/ACM International Conference on Computer-aided Design Dec. 1995: 154-158. https://doi.org/10.5555/224841.224874.

MLA (9th ed.) Citation

Ravi, Kavita, and Fabio Somenzi. "High-density Reachability Analysis." Proceedings of the 1995 IEEE/ACM International Conference on Computer-aided Design, Dec. 1995, pp. 154-158, https://doi.org/10.5555/224841.224874.