American Psychological Association 6th edition

Carlos Olarte, Lix École Polytechnique, Javeriana Cali, Frank D. Valencia, & The Pennsylvania State University Cite Seer X Archives. (2008). The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security. http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3 Aavispa%3 Apapers%3 Aov08 b.Pdf.

ISO-690 (author-date, English)

CARLOS OLARTE, Lix École Polytechnique, JAVERIANA CALI, FRANK D. VALENCIA und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2008. The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security. http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3 Aavispa%3 Apapers%3 Aov08 b.pdf. 1 Januar 2008.

Modern Language Association 9th edition

Carlos Olarte, Lix École Polytechnique, Javeriana Cali, Frank D. Valencia, und The Pennsylvania State University Cite Seer X Archives. „The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security“. http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3 Aavispa%3 Apapers%3 Aov08 b.Pdf, Januar 2008.

Mohr Siebeck - Recht (Deutsch - Österreich)

Carlos Olarte/Lix École Polytechnique/Javeriana Cali/Frank D. Valencia/The Pennsylvania State University Cite Seer X Archives: The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security, http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3 Aavispa%3 Apapers%3 Aov08 b.pdf 2008,

Emerald - Harvard

Carlos Olarte, Lix École Polytechnique, Javeriana Cali, Frank D. Valencia und The Pennsylvania State University Cite Seer X Archives. (2008), „The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security“, http://cic.puj.edu.co/wiki/lib/exe/fetch.php?media=grupos%3 Aavispa%3 Apapers%3 Aov08 b.Pdf.

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