Inproceedings,
Design and Verification of Distributed Phasers.
K. Murthy, S. Paul, K. Meel, T. Cogumbreiro, and J. Mellor-Crummey.Euro-Par, volume 9833 of Lecture Notes in Computer Science, page 405-418. Springer, (2016)
Meta data
- BibTeX key
- conf/europar/MurthyPMCM16
- entry type
- inproceedings
- booktitle
- Euro-Par
- year
- 2016
- pages
- 405-418
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9833
- crossref
- conf/europar/2016
- ee
- https://doi.org/10.1007/978-3-319-43659-3_30
- isbn
- 978-3-319-43658-6
- url
- http://dblp.uni-trier.de/db/conf/europar/europar2016.html#MurthyPMCM16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/europar/MurthyPMCM16
%A Murthy, Karthik
%A Paul, Sri Raj
%A Meel, Kuldeep S.
%A Cogumbreiro, Tiago
%A Mellor-Crummey, John M.
%B Euro-Par
%D 2016
%E Dutot, Pierre-François
%E Trystram, Denis
%I Springer
%K dblp
%P 405-418
%T Design and Verification of Distributed Phasers.
%U http://dblp.uni-trier.de/db/conf/europar/europar2016.html#MurthyPMCM16
%V 9833
%@ 978-3-319-43658-6
@inproceedings{conf/europar/MurthyPMCM16,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Murthy, Karthik and Paul, Sri Raj and Meel, Kuldeep S. and Cogumbreiro, Tiago and Mellor-Crummey, John M.},
biburl = {https://www.bibsonomy.org/bibtex/236c785e069edbb215b1e3d694504c4f8/dblp},
booktitle = {Euro-Par},
crossref = {conf/europar/2016},
editor = {Dutot, Pierre-François and Trystram, Denis},
ee = {https://doi.org/10.1007/978-3-319-43659-3_30},
interhash = {4f677855b9a8a582614d563cb105ad62},
intrahash = {36c785e069edbb215b1e3d694504c4f8},
isbn = {978-3-319-43658-6},
keywords = {dblp},
pages = {405-418},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T20:58:40.000+0200},
title = {Design and Verification of Distributed Phasers.},
url = {http://dblp.uni-trier.de/db/conf/europar/europar2016.html#MurthyPMCM16},
volume = 9833,
year = 2016
}