Daniel Warzecha

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Simulated Annealing

Decision Processes

Search Procedure

Top Venues

Publications

Martín Ochoa, Jan Jürjens, Daniel Warzecha
A Sound Decision Procedure for the Compositionality of Secrecy. ESSoS (2012)