Implementing a CTL Model Checker with $$\mu \mathcal {G}$$, a Language for Programming Graph Neural Networks - Dominio Público Uruguay

¿Datos faltantes/incorrectos? Editar elemento de Wikidata

Imagen de una obra genérica. El texto sobre ella indica que no hay disponible una imagen libre de la obra, y que si posees una, puedes hacer clic en el enlace del cartel para subirla.

Implementing a CTL Model Checker with $$\mu \mathcal {G}$$, a Language for Programming Graph Neural Networks

Autoría

autor: Michele Loreti, Flavio Corradini, Michela Quadrini, Matteo Belenchia

Detalles de la obra

Fecha de publicación: 2023

Idioma: Desconocido

País de origen: Desconocido

Estado de los derechos de autor

Dominio privado

Dominio Público Uruguay cuenta con el apoyo de:

Acerca de Dominio Público Uruguay

Ayuda

Documentación