ISO-690 (author-date, English)

PRENSA NIETO, Leonor, 2002. Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL.

Elsevier - Harvard (with titles)

Prensa Nieto, L., 2002. Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. https://doi.org/urn:nbn:de:bvb:91-diss2002021117027

American Psychological Association 7th edition

Prensa Nieto, L. (ca. 2002). Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL [Cd]. https://doi.org/urn:nbn:de:bvb:91-diss2002021117027

Springer - Basic (author-date)

Prensa Nieto L (2002) Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL

Juristische Zitierweise (Stüber) (Deutsch)

Prensa Nieto, Leonor, Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL, 2002.

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