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