A constraint-oriented service creation environment

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationTools and Algorithms for the Construction and Analysis of Systems - 2nd International Workshop, TACAS 1996, Proceedings
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer Verlag
Pages418-421
Number of pages4
ISBN (Print)3540610421, 9783540610427
DOIs
Publication statusPublished - 1996
Externally publishedYes
Event2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996 - Passau, Germany
Duration: 27 Mar 199629 Mar 1996

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1055
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996
Country/TerritoryGermany
CityPassau
Period27/03/9629/03/96

Cite this