Export 9 results:
Search results for biblio_year:1979
Filters: 1 is biblio_year:1989 and 2 is biblio_year:2015 and 3 is biblio_year:1988 and 4 is biblio_year:1978 and 5 is biblio_year:1980 and 6 is biblio_year:1995 and 7 is biblio_type:Book and 8 is biblio_year:2012 and 9 is biblio_year:2001 and Author is Stein Krogdahl  [Reset Search]
S. Krogdahl and O. Lysne. "On Verification of Parallel Message-Passing Processes." Formal Aspects of Computing 13 (2002): 471-492.
S. Krogdahl and O. Lysne. "Verifying a Distributed List System: a Case History." Formal Aspects of Computing 9 (1997): 98-118,.
S. Krogdahl and O. Lysne. Verifying a Distributed List System: a Case History. Department of Informatics, University of Oslo, 1993.
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.