| Originalspråk | Engelska |
|---|---|
| Kvalifikation | Doktor i filosofi |
| Tilldelande institution |
|
| Handledare |
|
| Utgivningsort | Turku |
| Förlag | |
| Status | Publicerad - 1998 |
| MoE-publikationstyp | G5 Doktorsavhandling (artikel) |
Formal reasoning about distributed algorithms
Forskningsoutput: Typer av avhandlingar › Doktorsavhandling › Samling av artiklar