Compositional SCC Analysis.

MLA

Chandrakasan, Anantha, et al. “Compositional SCC Analysis.” Abstraction Refinement for Large Scale Model Checking, 2006, pp. 85–100. EBSCOhost, https://doi.org/10.1007/0-387-34600-7_5.

APA

Chandrakasan, A., Wang, C., Hachtel, G. D., & Somenzi, F. (2006). Compositional SCC Analysis. In Abstraction Refinement for Large Scale Model Checking (pp. 85–100). https://doi.org/10.1007/0-387-34600-7_5

Chicago

Chandrakasan, Anantha, Chao Wang, Gary D. Hachtel, and Fabio Somenzi. 2006. “Compositional SCC Analysis.” In Abstraction Refinement for Large Scale Model Checking, 85–100. doi:10.1007/0-387-34600-7_5.