Filtros de búsqueda

Verification and Synthesis in Description Logic Based Dynamic Systems

Imagen 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.
Descripción artículo científico publicado en 2013
Autoría

autor: Giuseppe De Giacomo  Marco Montali  Diego Calvanese  Fabio Patrizi 

Fecha de publicación 2013
Idioma inglés
País de origen
Enlace a Wikipedia
Estatus de derecho de autor Private domain
¿Datos faltantes/errados? Editar ítem de Wikidata