Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.

Luciano Baresi Carlo Ghezzi Luca Mottola Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. 131-135 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_10 db/conf/forte/forte2006.html#BaresiGM06