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

Forskningsoutput: Typer av avhandlingarLicentiatuppsats

OriginalspråkEngelska
Tilldelande institution
  • Åbo Akademi
Handledare
  • Sere, Kaisa, Handledare, Extern person
  • Back, Ralph-Johan, Handledare
UtgivningsortTurku
Förlag
StatusPublicerad - apr. 1996
MoE-publikationstypG3 Licentiatavhandling

Citera det här