Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia
EVE: A Tool for Temporal Equilibrium Analysis
Acceso Cerrado
Idioma: Inglés
Publicado: 01/01/2018
APC (est):
No disponible
Julian Gutierrez
Muhammad Najib
Giuseppe Perelli
Michael Wooldridge
PDF
JSON
HTML
Abstract:
Abstract no disponible
Tópico:
Formal Methods in Verification
Citaciones:
24
Citaciones por año:
Altmétricas:
0
Información de la Fuente:
Fuente
Lecture notes in computer science
Cuartil año de publicación
No disponible
Volumen
No disponible
Issue
No disponible
Páginas
551 - 557
pISSN
No disponible
ISSN
1611-3349
Perfil OpenAlex
https://openalex.org/S106296714
Enlaces e Identificadores:
Doi URL
https://doi.org/10.1007/978-3-030-01090-4_35
Open_access URL
https://ora.ox.ac.uk/objects/uuid:4275d79a-e627-46ee-bf56-4cb240499be3/files/m82ebe96effb7399714c9608dde46afdd
Openalex URL
https://openalex.org/W2893380061
Capítulo de libro
