Hagit Attiya, Constantin Enea, Sergio Rajsbaum, Ana Sokolova. Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492). Dagstuhl Reports, 12(12):27-53, December 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.