Export 1 results:
Search results for field_research_area:1
Filters: 1 is biblio_year:2002 and Author is K. G. Larsen [Reset Search]
Filters: 1 is biblio_year:2002 and Author is K. G. Larsen [Reset Search]
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.