BARRINGER, Howard, 1985. A survey of verification techniques for parallel programs. Berlin [u.a.]: Springer. Lecture notes in computer science, 191. ISBN 3540152393.
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, Berlin [u.a.].
American Psychological Association 7th editionBarringer, H. (ca. 1985). A survey of verification techniques for parallel programs [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Barringer H (1985) A survey of verification techniques for parallel programs. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Barringer, Howard, A survey of verification techniques for parallel programs, Berlin [u.a.] 1985.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.