Monographs authored by Ketil Stølen
-
Ketil Stølen. Development of parallel programs on shared data-structures. PhD thesis, Manchester University, 1990.
Available as UMCS-91-1-1, Manchester University, January 1991.
(pdf)
-
Ketil Stølen. Teori for en bevisovervåker. Cand Scient thesis, University of Oslo, 1986.
Created: August 18, 2009. Last updated: December 22, 2011.