APA (7th ed.) Citation

Kamkin, A., Kotsynyak, A., Smolov, S., Tatarnikov, A., Chupilko, M., & Sortov, A. (2018). Tools for Functional Verification of Microprocessors. Труды Института системного программирования РАН, 26(1), 149-200. https://doi.org/10.15514/ISPRAS-2014-26(1)-5

Chicago Style (17th ed.) Citation

Kamkin, A., A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, and A. Sortov. "Tools for Functional Verification of Microprocessors." Труды Института системного программирования РАН 26, no. 1 (2018): 149-200. https://doi.org/10.15514/ISPRAS-2014-26(1)-5.

MLA (9th ed.) Citation

Kamkin, A., et al. "Tools for Functional Verification of Microprocessors." Труды Института системного программирования РАН, vol. 26, no. 1, 2018, pp. 149-200, https://doi.org/10.15514/ISPRAS-2014-26(1)-5.