ImpactU - Detalle del Producto

Fundadores:

Producto desarrollado por:

@colav
Contacto

ImpactU:

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

Model-Checking Games for Fixpoint Logics with Partial Order Models

Acceso Cerrado

ID Minciencias: ART-0001314661-10

Ranking: ART-ART_A2

Idioma: Inglés

Publicado: 01/01/2009

APC (est): No disponible

Abstract no disponible

Formal Methods in Verification

FuenteLecture notes in computer science	Cuartil año de publicaciónNo disponible	VolumenNo disponible
IssueNo disponible	Páginas354 - 368	pISSNNo disponible
ISSN1611-3349	Perfil OpenAlexhttps://openalex.org/S106296714

Scienti ID	0001314661-10	Minciencias ID	ART-0001314661-10	Scienti ID	0001314661-8
Doi URL	https://doi.org/10.1007/978-3-642-04081-8_24	Scienti URL	http://link.springer.com/chapter/10.1007%2F978-3-642-04081-8_24	Open_access URL	https://www.pure.ed.ac.uk/ws/files/11939555/infcompconcur.pdf
Openalex URL	https://openalex.org/W1720837145

Artículo de revista