Yu, E., Froleyks, N., Biere, A. und Heljanko, K. (2023) „Towards Compositional Hardware Model Checking Certification“, in. doi:10.34727/2023 sbn.978-3-85448-060-0_12.
Chicago Manual of Style 17th edition (full note)Yu, Emily, Nils Froleyks, Armin Biere, und Keijo Heljanko. „Towards Compositional Hardware Model Checking Certification“. In . https://doi.org/10.34727/2023 sbn.978-3-85448-060-0_12.
American Psychological Association 7th editionYu, E., Froleyks, N., Biere, A., & Heljanko, K. (2023, Oktober 24). Towards Compositional Hardware Model Checking Certification. https://doi.org/10.34727/2023 sbn.978-3-85448-060-0_12
Modern Language Association 9th editionYu, E., N. Froleyks, A. Biere, und K. Heljanko. Towards Compositional Hardware Model Checking Certification. 2023, https://doi.org/10.34727/2023 sbn.978-3-85448-060-0_12.
ISO-690 (author-date, Deutsch)YU, Emily, Nils FROLEYKS, Armin BIERE und Keijo HELJANKO, 2023. Towards Compositional Hardware Model Checking Certification. In: . 24 Oktober 2023