Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani. Discovery of SOA patterns via model checking. In Elisabetta Di Nitto, Andrea Polini, Andrea Zisman, editors, 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. pages 8-14, ACM, 2007. [doi]
Abstract is missing.