BibTeX
@inproceedings{DBLP:conf/sigsoft/PentaSV07,
author = {Massimiliano Di Penta and
Antonella Santone and
Maria Luisa Villani},
title = {Discovery of SOA patterns via model checking},
booktitle = {IW-SOSWE},
year = {2007},
pages = {8-14},
ee = {http://doi.acm.org/10.1145/1294928.1294931},
crossref = {DBLP:conf/sigsoft/2007soswe},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigsoft/2007soswe,
editor = {Elisabetta Di Nitto and
Andrea Polini and
Andrea Zisman},
title = {Proceedings of the 2nd International Workshop on Service
Oriented Software Engineering: in conjunction with the 6th
ESEC/FSE joint meeting, IW-SOSWE 2007, Dubrovnik, Croatia,
September 3, 2007},
booktitle = {IW-SOSWE},
publisher = {ACM},
year = {2007},
isbn = {978-1-59593-723-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-11-03 by Michael Ley (ley@uni-trier.de)