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
Document Type
Article in Press
Year published
2015
Published
in CoRR
Volume: abs/1510.02229
Indexing
Publication Identifiers
Arxiv: 1510.02229
Dblp: journals/corr/BartolettiCDDGP15
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.