skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Discovery of SOA patterns via model checking

Di Penta, M., A. Santone, and M. Luisa Villani, "Discovery of SOA patterns via model checking", 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting: ACM, pp. 8–14, 2007.