Counterexample-Guided Assume-Guarantee Synthesis through Learning.

MLA

Lin, Shang-Wei, and Pao-Ann Hsiung. “Counterexample-Guided Assume-Guarantee Synthesis through Learning.” IEEE Transactions on Computers, vol. 60, no. 5, May 2011, pp. 734–50. EBSCOhost, https://doi.org/10.1109/TC.2010.94.

APA

Lin, S.-W., & Hsiung, P.-A. (2011). Counterexample-Guided Assume-Guarantee Synthesis through Learning. IEEE Transactions on Computers, 60(5), 734–750. https://doi.org/10.1109/TC.2010.94

Chicago

Lin, Shang-Wei, and Pao-Ann Hsiung. 2011. “Counterexample-Guided Assume-Guarantee Synthesis through Learning.” IEEE Transactions on Computers 60 (5): 734–50. doi:10.1109/TC.2010.94.