| Originalspråk | Odefinierat/okänt |
|---|---|
| Förlag | Turku Centre for Computer Science |
| ISBN (tryckt) | 978-952-12-2280-1 |
| Status | Publicerad - 2009 |
| MoE-publikationstyp | D4 Publicerad utvecklings- eller forskningsrapport eller studie |
Ensuring Correctness of Network Services with MIDAS
Luigia Petre, K Sere, M Waldén
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell