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

Relating Process Languages for Security and Communication Correctness (Extended Abstract)

Acceso Abierto

Idioma: Inglés

Publicado: 01/01/2018

APC (est): No disponible

Abstract no disponible

Security and Verification in Computing

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

Doi URL	https://doi.org/10.1007/978-3-319-92612-4_5	Openalex URL	https://openalex.org/W2806366938	Open_access URL	https://inria.hal.science/hal-01824820/document

Capítulo de libro