Cite Them Right 11th edition - Harvard

R. Boulifa, E. Madelaine and The Pennsylvania State University Cite Seer X Archives (2003) “Finite Model Generation for Distributed Java Programs”, http://www-sop.inria.fr/oasis/Vercors/papers/DNS.pdf [Preprint].

Chicago Manual of Style 17th edition (full note)

R. Boulifa, E. Madelaine, and The Pennsylvania State University Cite Seer X Archives. “Finite Model Generation for Distributed Java Programs”. http://www-sop.inria.fr/oasis/Vercors/papers/DNS.Pdf, January 1, 2003.

American Psychological Association 7th edition

R. Boulifa, E. Madelaine, & The Pennsylvania State University Cite Seer X Archives. (2003). Finite Model Generation for Distributed Java Programs. http://www-sop.inria.fr/oasis/Vercors/papers/DNS.Pdf.

Modern Language Association 9th edition

R. Boulifa, E. Madelaine, and The Pennsylvania State University Cite Seer X Archives. “Finite Model Generation for Distributed Java Programs”. http://www-sop.inria.fr/oasis/Vercors/papers/DNS.Pdf, Jan. 2003.

ISO-690 (author-date, Deutsch)

R. BOULIFA, E. MADELAINE and THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2003. Finite Model Generation for Distributed Java Programs. http://www-sop.inria.fr/oasis/Vercors/papers/DNS.pdf. 1 January 2003

Warning: These citations may not always be 100% accurate.