Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

G. Barthe; A. Datta; S. Etalle

doi:10.1007/978-3-642-29420-4

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

G. Barthe (Redacteur), A. Datta (Redacteur), S. Etalle (Redacteur)

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

Samenvatting

No abstract.

Originele taal-2	Engels
Plaats van productie	Berlin
Uitgeverij	Springer
ISBN van elektronische versie	9783642294204
ISBN van geprinte versie	978-3-642-29419-8
DOI's	https://doi.org/10.1007/978-3-642-29420-4
Status	Gepubliceerd - 2012

Publicatie series

Naam	Lecture notes in computer science
Volume	7140
ISSN van geprinte versie	0302-9743

Toegang tot document

10.1007/978-3-642-29420-4

Andere bestanden en links

full text

Citeer dit

@book{9ad2cc02ffc04a20afd5774d4ac60c17,

title = "Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers",

abstract = "No abstract.",

editor = "G. Barthe and A. Datta and S. Etalle",

year = "2012",

doi = "10.1007/978-3-642-29420-4",

language = "English",

isbn = "978-3-642-29419-8",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

A2 - Barthe, G.

A2 - Datta, A.

A2 - Etalle, S.

PY - 2012

Y1 - 2012

N2 - No abstract.

AB - No abstract.

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-642-29420-4

U2 - 10.1007/978-3-642-29420-4

DO - 10.1007/978-3-642-29420-4

M3 - Book editing

SN - 978-3-642-29419-8

T3 - Lecture notes in computer science

BT - Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

PB - Springer

CY - Berlin

ER -

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Samenvatting

Publicatie series

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit