PentaSV07'

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}
}