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. Vol. 29, no. 1, p. 149-153. DOI 10.1109/TCAD.2009.2034346.
Elsevier - Harvard (with titles)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, 149-153. 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
Springer - Basic (author-date)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:149-153. https://doi.org/10.1109/TCAD.2009.2034346
Juristische Zitierweise (Stüber) (Deutsch)Gang Chen, Formalization of a Parameterized Parallel Adder within the Coq Theorem Prover., IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems 2010, 149-153.