Combining Behavioural Types with Security Analysis

AuthID
 P-00Z-PV3
10
Author(s)
Bartoletti, M
·
Castellani, I
·
Deniélou, PM
·
Ciancaglini, MD
·
Ghilezan, S
·
Pantovic, J
·
Pérez, JA
·
Thiemann, P
·
Vieira, HT
Tipo de Documento
Article in Press
Year published
2015
Publicado
in CoRR
Volume: abs/1510.02229
Indexing
Dblp®/pt/publications/view/1039203
Arxiv®
Publication Identifiers
Arxiv: 1510.02229
DBLP: journals/corr/BartolettiCDDGP15
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service