Superposition som en metod för att resonera om distribuerade algoritmer: Superposition as a method to reason about distributed algorithms

Marina Walden

Superposition som en metod för att resonera om distribuerade algoritmer: Superposition as a method to reason about distributed algorithms

Informationsteknologi

Forskningsoutput: Typer av avhandlingar › Licentiatuppsats

Originalspråk	Engelska
Tilldelande institution	Åbo Akademi
Handledare	Sere, Kaisa, Handledare, Extern person Back, Ralph-Johan, Handledare
Utgivningsort	Turku
Förlag	Åbo Akademi University
Status	Publicerad - apr. 1996
MoE-publikationstyp	G3 Licentiatavhandling

Citera det här

@phdthesis{d624cb745ae546b2b000a3efb46f8eea,

title = "Superposition som en metod f{\"o}r att resonera om distribuerade algoritmer: Superposition as a method to reason about distributed algorithms",

author = "Marina Walden",

year = "1996",

month = apr,

language = "English",

publisher = "{\AA}bo Akademi University",

type = "Licenciate's thesis",

school = "{\AA}bo Akademi University",

}