Logics and Languages for Reliability and Security 2010

Schloss Dagstuhl LZI