Kamkin, A. S., Lebedev, M. S., & Smolov, S. A. (2019). Extracting Assertions for Conflicts in HDL Descriptions. Труды Института системного программирования РАН, 31(3), 135-144. https://doi.org/10.15514/ISPRAS-2019-31(3)-11
Chicago-referens (17:e uppl.)Kamkin, Alexander Sergeevitch, Mikhail Sergeevitch Lebedev, och Sergey Alexandrovitch Smolov. "Extracting Assertions for Conflicts in HDL Descriptions." Труды Института системного программирования РАН 31, no. 3 (2019): 135-144. https://doi.org/10.15514/ISPRAS-2019-31(3)-11.
MLA-referens (9:e uppl.)Kamkin, Alexander Sergeevitch, et al. "Extracting Assertions for Conflicts in HDL Descriptions." Труды Института системного программирования РАН, vol. 31, no. 3, 2019, pp. 135-144, https://doi.org/10.15514/ISPRAS-2019-31(3)-11.
