A Constraint-Oriented Service Creation Environment

• Authors:

• Bernhard Steffen;Tiziana Margaria;Andreas Claßen;Volker Braun;Rita Nisius;Manfred Reitenspieß

• Affiliations:

• -;-;-;-;-;-

• Venue:
• TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
• Year:
• 1996