Automatic Service Composition Based on Behavioral Descriptions


ion Module FSM minimizer) (DPDL SAT + Synthesis Engine

DOI: 10.1142/S0218843005001201

Extracted Key Phrases

12 Figures and Tables


Citations per Year

187 Citations

Semantic Scholar estimates that this publication has 187 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Berardi2005AutomaticSC, title={Automatic Service Composition Based on Behavioral Descriptions}, author={Daniela Berardi and Diego Calvanese and Giuseppe De Giacomo and Maurizio Lenzerini and Massimo Mecella}, journal={Int. J. Cooperative Inf. Syst.}, year={2005}, volume={14}, pages={333-376} }