Wojciech Penczek, Agata Pólrola, Andrzej Zbrzezny. Towards Automatic Composition of Web Services: A SAT-Based Phase. In Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, editors, Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010. Volume 827 of CEUR Workshop Proceedings, pages 453-473, CEUR-WS.org, 2010. [doi]
No references recorded for this publication.
No citations of this publication recorded.