"A Formal Approach to Service Specification and Matching based on Graph ..."

Reiko Heckel, Alexey Cherchago, Marc Lohmann (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics