BibTex format
@inproceedings{da:2016:10.1007/978-3-662-49498-1_8,
author = {da, Rocha Pinto P and Dinsdale-Young, T and Gardner, PA and Sutherland, J and da, Rocha Pinto P and Dinsdale-Young, T and Gardner, P and Sutherland, J},
doi = {10.1007/978-3-662-49498-1_8},
pages = {176--201},
publisher = {Springer Berlin Heidelberg},
title = {Modular Termination Verification for Non-blocking Concurrency},
url = {http://dx.doi.org/10.1007/978-3-662-49498-1_8},
year = {2016}
}