Article,
Combining behavioural types with security analysis.
M. Bartoletti, I. Castellani, P. Deniélou, M. Dezani-Ciancaglini, S. Ghilezan, J. Pantovic, J. Pérez, P. Thiemann, B. Toninho, and H. Vieira.CoRR, (2015)
Meta data
- BibTeX key
- journals/corr/BartolettiCDDGP15
- entry type
- article
- year
- 2015
- journal
- CoRR
- volume
- abs/1510.02229
- ee
- http://arxiv.org/abs/1510.02229
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BartolettiCDDGP15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/BartolettiCDDGP15
%A Bartoletti, Massimo
%A Castellani, Ilaria
%A Deniélou, Pierre-Malo
%A Dezani-Ciancaglini, Mariangiola
%A Ghilezan, Silvia
%A Pantovic, Jovanka
%A Pérez, Jorge A.
%A Thiemann, Peter
%A Toninho, Bernardo
%A Vieira, Hugo Torres
%D 2015
%J CoRR
%K
%T Combining behavioural types with security analysis.
%U http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BartolettiCDDGP15
%V abs/1510.02229
@article{journals/corr/BartolettiCDDGP15,
added-at = {2023-12-12T20:48:02.000+0100},
author = {Bartoletti, Massimo and Castellani, Ilaria and Deniélou, Pierre-Malo and Dezani-Ciancaglini, Mariangiola and Ghilezan, Silvia and Pantovic, Jovanka and Pérez, Jorge A. and Thiemann, Peter and Toninho, Bernardo and Vieira, Hugo Torres},
biburl = {https://www.bibsonomy.org/bibtex/27d9a71eef29be31fbe77dba957418bde/admin},
ee = {http://arxiv.org/abs/1510.02229},
interhash = {3486ecb962034e2fa041927724270f1a},
intrahash = {7d9a71eef29be31fbe77dba957418bde},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-12T20:48:02.000+0100},
title = {Combining behavioural types with security analysis.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BartolettiCDDGP15},
volume = {abs/1510.02229},
year = 2015
}