Formal reasoning about distributed algorithms

Forskningsoutput: Typer av avhandlingarDoktorsavhandlingSamling av artiklar

OriginalspråkEngelska
KvalifikationDoktor i filosofi
Tilldelande institution
  • Åbo Akademi
Handledare
  • Sere, Kaisa, Handledare, Extern person
  • Back, Ralph-Johan, Handledare
UtgivningsortTurku
Förlag
StatusPublicerad - 1998
MoE-publikationstypG5 Doktorsavhandling (artikel)

Citera det här