BibTeX record conf/iccsa/QianYCZ16

• > Home > conf/iccsa/QianYCZ16

@inproceedings{DBLP:conf/iccsa/QianYCZ16,
  author       = {Junyan Qian and
                  Guo{-}Qing Yao and
                  Guang{-}Xi Chen and
                  Lingzhong Zhao},
  editor       = {Osvaldo Gervasi and
                  Beniamino Murgante and
                  Sanjay Misra and
                  Ana Maria A. C. Rocha and
                  Carmelo Maria Torre and
                  David Taniar and
                  Bernady O. Apduhan and
                  Elena N. Stankova and
                  Shangguang Wang},
  title        = {Linearizability Proof of Stack Data},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2016 - 16th International
                  Conference, Beijing, China, July 4-7, 2016, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9789},
  pages        = {277--288},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42089-9\_20},
  doi          = {10.1007/978-3-319-42089-9\_20},
  timestamp    = {Wed, 28 Jul 2021 08:12:21 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/QianYCZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}