![]() | ![]() |
| 2011 | ||
|---|---|---|
| 2 | Karsten Wolf, Christian Stahl, Daniela Weinberg, Janine Ott, Robert Danitz: Guaranteeing Weak Termination in Service Discovery. Fundam. Inform. 108(1-2): 151-180 (2011) | |
| 2009 | ||
| 1 | Karsten Wolf, Christian Stahl, Janine Ott, Robert Danitz: Verifying Deadlock- and Livelock Freedom in an SOA Scenario. ACSD 2009: 168-177 | |
| 1 | Janine Ott | [1] [2] |
| 2 | Christian Stahl | [1] [2] |
| 3 | Daniela Weinberg | [2] |
| 4 | Karsten Wolf (Karsten Schmidt) | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page