Export 1 results:
Search results for biblio_year:2008
Filters: 1 is biblio_year:1991 and 2 is biblio_year:1997 and 3 is biblio_year:1992 and Author is A. Skou  [Reset Search]
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.