Cite

A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.

MLA

Fei He, et al. “A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.” Automated Technology for Verification & Analysis (9783540472377), 2006, pp. 39–50. EBSCOhost, https://doi.org/10.1007/11901914_6.



APA

Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun, Graf, S., & Wenhui Zhang. (2006). A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement. In Automated Technology for Verification & Analysis (9783540472377) (pp. 39–50). https://doi.org/10.1007/11901914_6



Chicago

Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun, Susanne Graf, and Wenhui Zhang. 2006. “A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.” In Automated Technology for Verification & Analysis (9783540472377), 39–50. doi:10.1007/11901914_6.