APA (7th ed.) Citation

Lebedev, M. S., & Smolov, S. A. (2018, October). A Model Checking-Based Method of Functional Test Generation for HDL Descriptions. Труды Института системного программирования РАН.

Chicago Style (17th ed.) Citation

Lebedev, M. S., and S. A. Smolov. "A Model Checking-Based Method of Functional Test Generation for HDL Descriptions." Труды Института системного программирования РАН Oct. 2018.

MLA (9th ed.) Citation

Lebedev, M. S., and S. A. Smolov. "A Model Checking-Based Method of Functional Test Generation for HDL Descriptions." Труды Института системного программирования РАН, Oct. 2018.