"FFSPIN '22: Proceedings of the ACM SIGCOMM Workshop on Formal Foundations ..."

Diogo Barradas, Zaoxing Liu, Georgiana Caltais (2022)

Details and statistics

DOI: 10.1145/3528082

access: closed

type: Editorship

metadata version: 2022-08-22

a service of  Schloss Dagstuhl - Leibniz Center for Informatics