مرکز منطقه ای اطلاع رساني علوم و فناوري

DocumentCode :

922263

Title :

Verifying cache coherence protocols

Author :

McMillan, Kenneth

Volume :

Issue :

fYear :

1996

fDate :

6/1/1996 12:00:00 AM

Firstpage :

Keywords :

Automatic logic units; Collaborative tools; Collaborative work; Concurrent computing; Formal verification; Hardware; Licenses; Probes; Protocols; US Department of Transportation;

fLanguage :

English

Journal_Title :

Spectrum, IEEE

Publisher :

ieee

ISSN :

0018-9235

Type :

jour

DOI :

10.1109/MSPEC.1996.499954

Filename :

499954

Link To Document :

https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=922263