APA (7th ed.) Citation

Lebedev, M. S., & Smolov, S. A. (2018). A Model Checking-Based Method of Functional Test Generation for HDL Descriptions. Труды Института системного программирования РАН, 28(4), 41-56. https://doi.org/10.15514/ISPRAS-2016-28(4)-3

Chicago Style (17th ed.) Citation

Lebedev, M. S., and S. A. Smolov. "A Model Checking-Based Method of Functional Test Generation for HDL Descriptions." Труды Института системного программирования РАН 28, no. 4 (2018): 41-56. https://doi.org/10.15514/ISPRAS-2016-28(4)-3.

MLA (9th ed.) Citation

Lebedev, M. S., and S. A. Smolov. "A Model Checking-Based Method of Functional Test Generation for HDL Descriptions." Труды Института системного программирования РАН, vol. 28, no. 4, 2018, pp. 41-56, https://doi.org/10.15514/ISPRAS-2016-28(4)-3.