@article{VPC:TPDS2016,
  author = {Wei, Hengfeng and De Biasi, Marzio and Huang, Yu and Cao, Jiannong and Lu, Jian},
  title = {Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas},
  journal = {IEEE Transactions on Parallel and Distributed Systems},
  year = {2016},
  volume = {27},
  number = {5},
  pages = {1511--1523},
  doi = {10.1109/TPDS.2015.2453985},
  url = {https://doi.org/10.1109/TPDS.2015.2453985}
}