| Original language | Undefined/Unknown |
|---|---|
| Publisher | Turku Centre for Computer Science |
| ISBN (Print) | 978-952-12-2280-1 |
| Publication status | Published - 2009 |
| MoE publication type | D4 Published development or research report or study |
Ensuring Correctness of Network Services with MIDAS
Luigia Petre, K Sere, M Waldén
Research output: Book/Journal/Report › Commissioned report › Professional