Reasoning (on) service component ensembles in rewriting logic
Year: | 2014 |
---|---|
Pages: | 188-211 |
ISSN: | 0302-9743 |
DOI: | 10.1007/978-3-642-54624-2_10 |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Year: | 2014 |
---|---|
Pages: | 188-211 |
ISSN: | 0302-9743 |
DOI: | 10.1007/978-3-642-54624-2_10 |