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

Tutkimustuotos: VäitöskirjatyypitLisensiaatin tutkielmaOpinnäytteet

AlkuperäiskieliEnglanti
Myöntävä instituutio
  • Åbo Akademi University
Valvoja/neuvonantaja
  • Sere, Kaisa, Valvoja, Ulkoinen henkilö
  • Back, Ralph-Johan, Valvoja
JulkaisupaikkaTurku
Kustantaja
TilaJulkaistu - huhtikuuta 1996
OKM-julkaisutyyppiG3 Lisensiaatintutkimus

Viittausmuodot