| Original language | English |
|---|---|
| Qualification | Doctor of Philosophy |
| Awarding Institution |
|
| Supervisors/Advisors |
|
| Place of Publication | Turku |
| Publisher | |
| Publication status | Published - 1998 |
| MoE publication type | G5 Doctoral dissertation (article) |
Formal reasoning about distributed algorithms
Research output: Types of Thesis › Doctoral Thesis › Collection of Articles