| Alkuperäiskieli | Englanti |
|---|---|
| Pätevyys | Filosofian tohtori |
| Myöntävä instituutio |
|
| Valvoja/neuvonantaja |
|
| Julkaisupaikka | Turku |
| Kustantaja | |
| Tila | Julkaistu - 1998 |
| OKM-julkaisutyyppi | G5 Tohtorinväitöskirja (artikkeli) |
Formal reasoning about distributed algorithms
Tutkimustuotos: Väitöskirjatyypit › Tohtorinväitöskirja › Artikkelikokoelma