| |
| 2008 | ||
|---|---|---|
| 2 | EE | Dimitrios Kourtesis, Ervin Ramollari, Dimitris Dranidis, Iraklis Paraskakis: Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification. Virtual Enterprises and Collaborative Networks 2008: 473-482 |
| 1995 | ||
| 1 | Dimitris Dranidis, Stefan Gastinger: SPECTRUM. Formal Development of Reactive Systems 1995: 199-228 | |
| 1 | Stefan Gastinger | [1] |
| 2 | Dimitrios Kourtesis | [2] |
| 3 | Iraklis Paraskakis | [2] |
| 4 | Ervin Ramollari | [2] |