Cache coherence verification with TLA+

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1871-

  Akhiani, Homayoon ^a   Doligez, Damien ^a   Harter, Paul ^a   Lamport, Leslie ^a   Scheid, Joshua ^a   Tuttle, Mark ^a   Yu, Yuan ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33748576362     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_62     Document Type: Conference Paper

References (0)