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 Abierto

Idioma: Inglés

Publicado: 16/12/2010

APC (est): No disponible

Abstract no disponible

Formal Methods in Verification

FuenteInformation and Computation	Cuartil año de publicaciónNo disponible	Volumen209
Issue5	Páginas766 - 781	pISSNNo disponible
ISSN0890-5401	Perfil OpenAlexhttps://openalex.org/S59933527

Scienti ID	0000086614-10	Scholar citations URL	https://scholar.google.com/scholar?cites=16822314600284029374&as_sdt=2005&sciodt=0,5&hl=en	Scholar URL	https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3AvgHMIQDedOkJ%3Ascholar.google.com&btnG=
Pdf URL	https://www.sciencedirect.com/science/article/pii/S0890540110002154/pdf?md5=f98487437f50269cf3d3bbc113977e1b&pid=1-s2.0-S0890540110002154-main.pdf	Doi URL	https://doi.org/10.1016/j.ic.2010.12.002	Open_access URL	https://doi.org/10.1016/j.ic.2010.12.002
Scienti URL	http://www.sciencedirect.com/science/article/pii/S0890540110002154	Openalex URL	https://openalex.org/W2111763696

Artículo de revista