Examinant per Autoria "Calvanese, Diego"
Mostrant 1 - 2 de 2
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
Ítem Accés Obert Verification of fixed-topology declarative distributed systems with external data(CEUR Workshop Proceedings, 2018) Calvanese, Diego; Montali, Marco; Lobo, Jorge