Logotipo ImpactU
Autor

An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems

Acceso Cerrado
ID Minciencias: ART-0000086614-30001
Ranking: ART-ART_B

Abstract:

Abstract no disponible

Tópico:

Formal Methods in Verification

Citaciones:

Citations: 27
27

Citaciones por año:

Altmétricas:

Paperbuzz Score: 0
0

Información de la Fuente:

SCImago Journal & Country Rank
FuenteLecture notes in computer science
Cuartil año de publicaciónNo disponible
VolumenNo disponible
IssueNo disponible
Páginas509 - 513
pISSNNo disponible
ISSN1611-3349

Enlaces e Identificadores:

Artículo de revista