Export 9 results:
Search results for biblio_type:Talks, contributed
Filters: Author is Stein Krogdahl  [Reset Search]
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.