BibTeX
@inproceedings{DBLP:conf/qsic/MengB08,
author = {Sun Meng and
Lu\'{\i}s Soares Barbosa},
title = {A Coalgebraic Semantic Framework for Reasoning about UML
Sequence Diagrams},
booktitle = {QSIC},
year = {2008},
pages = {17-26},
ee = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2008.13},
crossref = {DBLP:conf/qsic/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/qsic/2008,
editor = {Hong Zhu},
title = {Proceedings of the Eighth International Conference on Quality
Software, QSIC 2008, 12-13 August 2008, Oxford, UK},
booktitle = {QSIC},
publisher = {IEEE Computer Society},
year = {2008},
isbn = {978-0-7695-3312-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-12-16 by Michael Ley (ley@uni-trier.de)