On Accurate Automatic Verification of Publish-Subscribe Architectures.

Luciano Baresi Carlo Ghezzi Luca Mottola On Accurate Automatic Verification of Publish-Subscribe Architectures. 199-208 2007 conf/icse/2007 ICSE http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.57 db/conf/icse/icse2007.html#BaresiGM07