Export 9 results:
Search results for biblio_year:1991
Filters: 1 is biblio_type:PhD Thesis and 2 is biblio_year:2018 and 3 is field_publication_owner:not_simula and 4 is field_publication_state:18 and 5 is biblio_type:Journal Article and 6 is biblio_year:1997 and 7 is biblio_year:1993 and Author is Stein Krogdahl  [Reset Search]
2007
C. Griwodz, L. Korsnes, N. Christophersen, S. Krogdahl, P. C. Ölveczky, J. Søberg, T. S. Lande and J. Hagen. Not a Real Paper - a Dummy to Demonstrate the Coauthorship Process at Simula In First International Conference on Time-Wasting in Computer Science. Carsten, 2007.
2002
S. Krogdahl and O. Lysne. "On Verification of Parallel Message-Passing Processes." Formal Aspects of Computing 13 (2002): 471-492.
1997
S. Krogdahl and O. Lysne. "Verifying a Distributed List System: a Case History." Formal Aspects of Computing 9 (1997): 98-118,.
1993
S. Krogdahl and O. Lysne. Verifying a Distributed List System: a Case History. Department of Informatics, University of Oslo, 1993.
1992
S. Gjessing, S. Krogdahl and E. Munthe-Kaas. A Top Down Approach to the Formal Specification of SCI Cache Coherence In Computer Aided Verification, 3rd International Workshop (CAV'91), Edited by K. G. Larsen and A. Skou. Lecture Notes in Computer Science. Springer-Verlag, 1992.
1990
S. Gjessing, S. Krogdahl and E. Munthe-Kaas. Approaching Verification of the SCI Cache Coherence Protocol. Department of Informatics, University of Oslo, 1990.
S. Gjessing, S. Krogdahl and E. Munthe-Kaas. A Top Down Approach to the Formal Specification of SCI Cache Coherence. Department of Informatics, University of Oslo, 1990.
1989
S. Gjessing, S. Krogdahl and E. Munthe-Kaas. Formal Specification and Verification of SCI Cache Coherence In Norsk Informatikk Konferanse., 1989.
1984
S. Gjessing and S. Krogdahl. Datastart, Maskinarbeidsbok I Turbo-Pascal and Compas-Pascal In Misc., 1984.