ISO-690 (author-date, English)

JONES, Cliff B und JONES, Cliff B, 2024. Three Early Formal Approaches to the Verification of Concurrent Programs. Minds & Machines. 2 Februar 2024. Vol. 34, no. Suppl 1, p. 73-92. DOI 10.1007/s11023-023-09621-5.

Elsevier - Harvard (with titles)

Jones, C.B., Jones, C.B., 2024. Three Early Formal Approaches to the Verification of Concurrent Programs. Minds & Machines 34, 73-92. https://doi.org/10.1007/s11023-023-09621-5

American Psychological Association 7th edition

Jones, C. B., & Jones, C. B. (2024). Three Early Formal Approaches to the Verification of Concurrent Programs. Minds & Machines, 34(Suppl 1), 73-92. https://doi.org/10.1007/s11023-023-09621-5

Springer - Basic (author-date)

Jones CB, Jones CB (2024) Three Early Formal Approaches to the Verification of Concurrent Programs. Minds & Machines 34:73-92. https://doi.org/10.1007/s11023-023-09621-5

Juristische Zitierweise (Stüber) (Deutsch)

Jones, Cliff B/ Jones, Cliff B, Three Early Formal Approaches to the Verification of Concurrent Programs, Minds & Machines 2024, 73-92.

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