Luciano Baresi, Carlo Ghezzi, Luca Mottola
On Accurate Automatic Verification of Publish-Subscribe Architectures
ICSE, 2007.
@inproceedings{ICSE-2007-BaresiGM,
author = "Luciano Baresi and Carlo Ghezzi and Luca Mottola",
booktitle = "{Proceedings of the 29th International Conference on Software Engineering}",
doi = "10.1109/ICSE.2007.57",
pages = "199--208",
publisher = "{IEEE Computer Society}",
title = "{On Accurate Automatic Verification of Publish-Subscribe Architectures}",
year = 2007,
}