Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10230/34856

Verification of fixed-topology declarative distributed systems with external data
Calvanese, Diego; Montali, Marco; Lobo, Jorge
© 2018 the authors.
info:eu-repo/semantics/conferenceObject
Artículo - Versión publicada
CEUR Workshop Proceedings
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest
Calvanese, Diego; Montali, Marco; Estañol Lamarca, Montserrat; Teniente López, Ernest
Romero Moral, Óscar; Calvanese, Diego; Abelló Gamazo, Alberto; Rodríguez Muro, Mariano
Romero Moral, Óscar; Calvanese, Diego; Abelló Gamazo, Alberto; Rodríguez Muro, Mariano
Queralt Calafat, Anna; Artale, Alessandro; Calvanese, Diego; Teniente López, Ernest