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-referens (17:e uppl.)Lebedev, M. S., och 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-referens (9:e uppl.)Lebedev, M. S., och 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.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.
