Exportar referência
APA
Raul Barbosa, Alcides Fonseca, Filipe Araujo, (2021). Reductions and abstractions for formal verification of distributed round-based algorithms. Software Quality Journal, 29, 705-731. ISSN 0963-9314. eISSN . http://dx.doi.org/10.1007/s11219-020-09539-6
IEEE
Raul Barbosa, Alcides Fonseca, Filipe Araujo, "Reductions and abstractions for formal verification of distributed round-based algorithms" in Software Quality Journal, vol. 29, pp. 705-731, 2021.
10.1007/s11219-020-09539-6
BIBTEX
@article{52928,
author = {Raul Barbosa and Alcides Fonseca and Filipe Araujo},
title = {Reductions and abstractions for formal verification of distributed round-based algorithms},
journal = {Software Quality Journal},
year = 2021,
pages = {705-731},
volume = 29
}