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

Luciano Baresi, Carlo Ghezzi, Luca Mottola

Browse the full FORTE paper archive.