Alıntılar

APA (7. basım) Alıntı
Lebedev, M. S., & Smolov, S. A. (2018). A Model Checking-Based Method of Functional Test Generation for HDL Descriptions. Russian Academy of Sciences, Ivannikov Institute for System Programming.
Chicago Style (17. basım) Atıf
Lebedev, M. S., ve S. A. Smolov. A Model Checking-Based Method of Functional Test Generation for HDL Descriptions. Russian Academy of Sciences, Ivannikov Institute for System Programming, 2018.
MLA (9th ed.) Atıf
Lebedev, M. S., ve S. A. Smolov. A Model Checking-Based Method of Functional Test Generation for HDL Descriptions. Russian Academy of Sciences, Ivannikov Institute for System Programming, 2018.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..