BibTex format
@inproceedings{Dinsdale-Young:2017:10.1007/978-3-662-54434-1_16,
author = {Dinsdale-Young, T and da, Rocha Pinto P and Just, Andersen K and Birkedal, L},
doi = {10.1007/978-3-662-54434-1_16},
pages = {420--447},
publisher = {Springer Verlag},
title = {Caper: automatic verification for fine-grained concurrency},
url = {http://dx.doi.org/10.1007/978-3-662-54434-1_16},
year = {2017}
}