Examinant per Autoria "Cosmo, Francesco di"
Mostrant 1 - 1 de 1
Resultats per pàgina
Opcions d'ordenació
Ítem Accés Obert Convergence verification of declarative distributed systems(CEUR Workshop Proceedings, 2021) Calvanese, Diego; Cosmo, Francesco di; Lobo, Jorge; Montali, Marco