American Psychological Association 6th edition

Arias, J., Laboratoire d’Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Pontificia Universidad Javeriana (PUJ), REACT+ Project, & Universidad Javeriana. (2012). Model checking for TCC calculus. CCSD.

ISO-690 (author-date, English)

ARIAS, Jaime, LABORATOIRE D’INFORMATIQUE DE PARIS-NORD (LIPN), CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE (CNRS)-UNIVERSITÉ SORBONNE PARIS NORD, PONTIFICIA UNIVERSIDAD JAVERIANA (PUJ), REACT+ Project und UNIVERSIDAD JAVERIANA, 2012. Model checking for TCC calculus. CCSD.

Modern Language Association 9th edition

Arias, J., Laboratoire d’Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Pontificia Universidad Javeriana (PUJ), REACT+ Project, und Universidad Javeriana. Model checking for TCC calculus. CCSD, 2012.

Mohr Siebeck - Recht (Deutsch - Österreich)

Arias, Jaime/Laboratoire d’Informatique de Paris-Nord (LIPN)/Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord/Pontificia Universidad Javeriana (PUJ)/REACT+ Project/Universidad Javeriana: Model checking for TCC calculus, 2012.

Emerald - Harvard

Arias, J., Laboratoire d’Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Pontificia Universidad Javeriana (PUJ), REACT+ Project und Universidad Javeriana. (2012), Model checking for TCC calculus, Bd. , CCSD.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.