18 treff
From object-orientation to formal methods : essays in memory of Ole-Johan Dahl
Olaf Owe, Stein Krogdahl, Tom Lyche (eds....
Bok Engelsk 2004
On verification of parallel and interleaved executions
Stein Krogdahl and Olav Lysne
Bok Engelsk 1999
NIK'97 : Norsk informatikkonferanse, Institutt for informasjonsvitenskap, Universitetet i Bergen, 24.-26. november 1997
Norsk informatikkonferanse
Bok Bokmål 1997 · Les boka på nett
NIK'96 : Norsk informatikkonferanse : Seksjon for IT og matematikk, Høgskolen i Finnmark, Alta 18.-20. november 1996
Norsk informatikkonferanse
Bok Bokmål 1996 · Les boka på nett
Controlled broadcasting in ring-based networks
Sverre Johansen, Stein Krogdahl
Bok Engelsk 1993
Verifying a distributed list system : a case history
Stein Krogdahl and Olav Lysne
Bok Engelsk 1993 · Les boka på nett
Approaching verification of the SCI cache coherence protocol
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
Formal specification and verification of SCI cache coherence
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
A top down approach to the formal specification of SCI cache coherence
Stein Gjessing, Stein Krogdahl, Ellen Mun...
Bok Engelsk 1990
Some general log concavity results
Stein Krogdahl
Bok Engelsk 1990
A merging inequality
István Beck and Stein Krogdahl
Bok Engelsk 1989
S-PORT : definition of S-code : version 3.0
by Peter Jensen ... [et al.]
Bok Engelsk 1985
An efficient implementation of Simula classes with multiple prefixing
Stein Krogdahl
Bok Engelsk 1984
Protection in Simula : a new proposal
by Stein Krogdahl
Bok Engelsk 1982
Automatisert saksbehandling
av Stein Krogdahl, Sverre Spurkland
Bok Bokmål 1979 · Les boka på nett
The dependence graph for bases in matroids
by Stein Krogdahl
Bok Engelsk 1975
Om bruk av SIMULA-objekter til oppbevaring av data på masselager
av Stein Krogdahl
Bok Bokmål 1973
DATSY : system- og hjelperutiner
av Eva Kristoffersen, Stein Krogdahl og H...
Bok Bokmål 1971