ISO-690 (author-date, English)

BARBOSA, Raul, FONSECA, Alcides und ARAUJO, Filipe, 2021. Reductions and abstractions for formal verification of distributed round-based algorithms. Software Quality Journal. 1 September 2021. Vol. 29, no. 3, p. 705-731. DOI 10.1007/s11219-020-09539-6.

Elsevier - Harvard (with titles)

Barbosa, R., Fonseca, A., Araujo, F., 2021. Reductions and abstractions for formal verification of distributed round-based algorithms. Software Quality Journal 29, 705-731. https://doi.org/10.1007/s11219-020-09539-6

American Psychological Association 7th edition

Barbosa, R., Fonseca, A., & Araujo, F. (2021). Reductions and abstractions for formal verification of distributed round-based algorithms. Software Quality Journal, 29(3), 705-731. https://doi.org/10.1007/s11219-020-09539-6

Springer - Basic (author-date)

Barbosa R, Fonseca A, Araujo F (2021) Reductions and abstractions for formal verification of distributed round-based algorithms.. Software Quality Journal 29:705-731. https://doi.org/10.1007/s11219-020-09539-6

Juristische Zitierweise (Stüber) (Deutsch)

Barbosa, Raul/ Fonseca, Alcides/ Araujo, Filipe, Reductions and abstractions for formal verification of distributed round-based algorithms., Software Quality Journal 2021, 705-731.

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