Discovery of SOA patterns via model checking

Published in 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, 2007

Recommended citation: Massimiliano Di Penta, Antonella Santone, Maria Villani, "Discovery of SOA patterns via model checking." 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, 2007. https://doi.org/10.1145/1294928.1294931