On Accurate Automatic Verification of Publish-Subscribe Architectures.

Luciano Baresi, Carlo Ghezzi, Luca Mottola

Browse the full ICSE paper archive.