ISO-690 (author-date, English)

BARRINGER, Howard, 1985. A Survey of Verification Techniques for Parallel Programs. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 191. ISBN 9783540394167.

Elsevier - Harvard (with titles)

Barringer, H., 1985. A Survey of Verification Techniques for Parallel Programs, Lecture Notes in Computer Science, Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15239-3

American Psychological Association 7th edition

Barringer, H. (ca. 1985). A Survey of Verification Techniques for Parallel Programs [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-15239-3

Springer - Basic (author-date)

Barringer H (1985) A Survey of Verification Techniques for Parallel Programs. Springer-Verlag, Berlin, Heidelberg

Juristische Zitierweise (Stüber) (Deutsch)

Barringer, Howard, A Survey of Verification Techniques for Parallel Programs, Berlin, Heidelberg 1985.

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