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

Research output: Types of ThesisLicenciate's thesis

Original languageEnglish
Awarding Institution
  • Åbo Akademi University
  • Sere, Kaisa, Supervisor, External person
  • Back, Ralph-Johan, Supervisor
Place of PublicationTurku
Publication statusPublished - Apr 1996
MoE publication typeG3 Licentiate thesis

Cite this