"Model-checking verification of publish-subscribe architectures in web ..."

Gregorio Díaz et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics