BibTeX record conf/aplas/RaadHVG16

download as .bib file

@inproceedings{DBLP:conf/aplas/RaadHVG16,
  author    = {Azalea Raad and
               Aquinas Hobor and
               Jules Villard and
               Philippa Gardner},
  title     = {Verifying Concurrent Graph Algorithms},
  booktitle = {{APLAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10017},
  pages     = {314--334},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics