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 thesisTheses

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

Cite this