ISO-690 (author-date, English)

MARC BROCKSCHMIDT, THOMAS STRÖDER, CARSTEN OTTO, JÜRGEN GIESL und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, [no date]. Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆. http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm.pdf.

Elsevier - Harvard (with titles)

Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, The Pennsylvania State University Cite Seer X Archives, o. J. Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆. http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm.pdf.

American Psychological Association 7th edition

Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, & The Pennsylvania State University Cite Seer X Archives. (o. J.). Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆. http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm.Pdf.

Springer - Basic (author-date)

Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl, The Pennsylvania State University Cite Seer X Archives Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆. http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm.pdf

Juristische Zitierweise (Stüber) (Deutsch)

Marc Brockschmidt/ Thomas Ströder/ Carsten Otto/ Jürgen Giesl/ The Pennsylvania State University Cite Seer X Archives, Automated Detection of Non-Termination and Null Pointer Exceptions for Java Bytecode ⋆, http://verify.rwth-aachen.de/brockschmidt/papers/JBC-Nonterm.pdf .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.