Logotipo ImpactU
Autor

From model checking to equilibrium checking: Reactive modules for rational verification

Acceso Abierto
ID Minciencias: ART-0001314661-39
Ranking: ART-ART_A1

Abstract:

Abstract no disponible

Tópico:

Formal Methods in Verification

Citaciones:

Citations: 33
33

Citaciones por año:

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteArtificial Intelligence
Cuartil año de publicaciónNo disponible
Volumen248
IssueNo disponible
Páginas123 - 157
pISSNNo disponible
ISSN0004-3702

Enlaces e Identificadores:

Artículo de revista