A Constraint-Oriented Service Creation Environment.

Bernhard Steffen, Tiziana Margaria, Andreas Claen, Volker Braun, Rita Nisius, Manfred Reitenspie

Browse the full TACAS paper archive.