| |
| 2009 | ||
|---|---|---|
| 2 | EE | Christian Stahl, Peter Massuthe, Jan Bretschneider: Deciding Substitutability of Services with Operating Guidelines. T. Petri Nets and Other Models of Concurrency 2: 172-191 (2009) |
| 2007 | ||
| 1 | EE | Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl: Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems 2007: 521-538 |
| 1 | Dirk Fahland | [1] |
| 2 | Niels Lohmann | [1] |
| 3 | Peter Massuthe | [1] [2] |
| 4 | Wolfgang Reisig | [1] |
| 5 | Christian Stahl | [1] [2] |