Skip to main navigation Skip to search Skip to main content

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas

  • Hengfeng Wei
  • , Marzio De Biasi
  • , Yu Huang
  • , Jiannong Cao
  • , Jian Lu

Research output: Journal article publication › Journal article › Academic research › peer-review

5   Link opens in a new tab Citations (Scopus)

Fingerprint

Dive into the research topics of 'Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases