Gang Chen (2010) „Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover.“, IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 29(1), S. 149-153. doi:10.1109/TCAD.2009.2034346.
Chicago Manual of Style 17th edition (full note)Gang Chen. „Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover.“. IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems 29, Nr. 1 (1. Januar 2010): 149-53. https://doi.org/10.1109/TCAD.2009.2034346.
American Psychological Association 7th editionGang Chen. (2010). Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover. IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 29(1), 149-153. https://doi.org/10.1109/TCAD.2009.2034346
Modern Language Association 9th editionGang Chen. „Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover.“. IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, Bd. 29, Nr. 1, Januar 2010, S. 149-53, https://doi.org/10.1109/TCAD.2009.2034346.
ISO-690 (author-date, Deutsch)GANG CHEN, 2010. Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover. IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. 1 Januar 2010. Bd. 29, Nr. 1, S. 149-153. DOI 10.1109/TCAD.2009.2034346