Publications

AuthID
P-00Y-5N5

Author(s)

Dupressoir, F

Grégoire, B

Kunz, C

Strub, PY

Editor(s)

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

Document Type

Proceedings Paper

Year published

2013

Published

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

Volume: 8604, Pages: 146-166

Indexing

Publication Identifiers

DBLP: conf/fosad/BartheDGKSS13

Export Publication Metadata

Marked List

Info

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

Useful Links