Original language | English |
---|---|
Awarding Institution |
|
Supervisors/Advisors |
|
Place of Publication | Turku |
Publisher | |
Publication status | Published - Apr 1996 |
MoE publication type | G3 Licentiate thesis |
Superposition som en metod för att resonera om distribuerade algoritmer: Superposition as a method to reason about distributed algorithms
Research output: Types of Thesis › Licenciate's thesis