Publicações

AuthID
P-00Y-5N5

Author(s)

Dupressoir, F

Grégoire, B

Kunz, C

Strub, PY

Editor(es)

Aldini,A;López,J;Martinelli,F

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

in Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures in Lecture Notes in Computer Science

Volume: 8604, Páginas: 146-166

Indexing

Publication Identifiers

DBLP: conf/fosad/BartheDGKSS13

Export Publication Metadata

Lista Marked

Info

At this moment we don't have any links to full text documens.

Links Úteis