"International Conference on Protocol Engineering, ICPE 2015, and ..."

a service of Schloss Dagstuhl - Leibniz Center for Informatics