BibTeX record conf/spaa/LiCCLQH11

• > Home > conf/spaa/LiCCLQH11

@inproceedings{DBLP:conf/spaa/LiCCLQH11,
  author       = {Lei Li and
                  Tianshi Chen and
                  Yunji Chen and
                  Ling Li and
                  Cheng Qian and
                  Weiwu Hu},
  editor       = {Rajmohan Rajaraman and
                  Friedhelm Meyer auf der Heide},
  title        = {Brief announcement: program regularization in verifying memory consistency},
  booktitle    = {{SPAA} 2011: Proceedings of the 23rd Annual {ACM} Symposium on Parallelism
                  in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011
                  (Co-located with {FCRC} 2011)},
  pages        = {265--266},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1989493.1989535},
  doi          = {10.1145/1989493.1989535},
  timestamp    = {Sun, 02 Oct 2022 16:15:58 +0200},
  biburl       = {https://dblp.org/rec/conf/spaa/LiCCLQH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}