BaresiGM07'

BibTeX

@inproceedings{DBLP:conf/icse/BaresiGM07,
  author    = {Luciano Baresi and
               Carlo Ghezzi and
               Luca Mottola},
  title     = {On Accurate Automatic Verification of Publish-Subscribe
               Architectures},
  booktitle = {ICSE},
  year      = {2007},
  pages     = {199-208},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.57},
  crossref  = {DBLP:conf/icse/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/2007,
  title     = {29th International Conference on Software Engineering (ICSE
               2007), Minneapolis, MN, USA, May 20-26, 2007},
  booktitle = {ICSE},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}