Pure methods for roDOT (an extended version)

Technical report

Title:

Authors:

V. Dort, L. Yufeng, O. Lhoták, P. Parízek

Publication:

Technical report no. D3S-TR-2024-01, Department of Distributed and Dependable Systems, Charles University

Year:

2024

BibTeX:

@techreport{dort_pure_report_2024,
    title = {{Pure methods for roDOT (an extended version)}},
    author = {Dort, Vlastimil and Yufeng, Li and Lhotá k, Ondřej and Parizek, Pavel},
    year = {2024},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {D3S-TR-2024-01},
}