BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Reductions and abstractions for formal verification of distributed round-based algorithms

Participants in the publication
Raul Barbosa (Author)
Alcides Fonseca (Author)
Dep. Informática
 LASIGE
 LASIGE
 Filipe Araujo (Author)

Date of Publication
2021-02-24

Where published
Software Quality Journal

Publication Identifiers
ISSN - 0963-9314

Publisher
Springer Science and Business Media LLC

Volume
29
Number
3

Number of pages
27
Starting page
705
Last page
731

Document Identifiers
DOI - https://doi.org/10.1007/s11219-020-09539-6
URL - http://dx.doi.org/10.1007/s11219-020-09539-6

Rankings
SCIMAGO Q1 (2020) - 0.356 - Media Technology


Export

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 }