| Alkuperäiskieli | Ei tiedossa |
|---|---|
| Kustantaja | Turku Centre for Computer Science |
| ISBN (painettu) | 978-952-12-2280-1 |
| Tila | Julkaistu - 2009 |
| OKM-julkaisutyyppi | D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset |
Ensuring Correctness of Network Services with MIDAS
Luigia Petre, K Sere, M Waldén
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen