Inproceedings,
The virtues of conflict: analysing modern concurrency.
G. Narayanaswamy, S. Joshi, and D. Kroening.PPoPP, page 25:1-25:12. ACM, (2016)
Meta data
- BibTeX key
- conf/ppopp/Narayanaswamy0K16
- entry type
- inproceedings
- booktitle
- PPoPP
- year
- 2016
- pages
- 25:1-25:12
- publisher
- ACM
- crossref
- conf/ppopp/2016
- ee
- https://doi.org/10.1145/3016078.2851165
- isbn
- 978-1-4503-4092-2
- url
- http://dblp.uni-trier.de/db/conf/ppopp/ppopp2016.html#Narayanaswamy0K16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ppopp/Narayanaswamy0K16
%A Narayanaswamy, Ganesh
%A Joshi, Saurabh
%A Kroening, Daniel
%B PPoPP
%D 2016
%E Asenjo, Rafael
%E Harris, Tim
%I ACM
%K dblp
%P 25:1-25:12
%T The virtues of conflict: analysing modern concurrency.
%U http://dblp.uni-trier.de/db/conf/ppopp/ppopp2016.html#Narayanaswamy0K16
%@ 978-1-4503-4092-2
@inproceedings{conf/ppopp/Narayanaswamy0K16,
added-at = {2022-06-12T00:00:00.000+0200},
author = {Narayanaswamy, Ganesh and Joshi, Saurabh and Kroening, Daniel},
biburl = {https://www.bibsonomy.org/bibtex/218b84aab3aa102e14e8cb2f2ad18522f/dblp},
booktitle = {PPoPP},
crossref = {conf/ppopp/2016},
editor = {Asenjo, Rafael and Harris, Tim},
ee = {https://doi.org/10.1145/3016078.2851165},
interhash = {64c9abf009b876787f2df8c7bfa1892b},
intrahash = {18b84aab3aa102e14e8cb2f2ad18522f},
isbn = {978-1-4503-4092-2},
keywords = {dblp},
pages = {25:1-25:12},
publisher = {ACM},
timestamp = {2024-04-10T01:15:49.000+0200},
title = {The virtues of conflict: analysing modern concurrency.},
url = {http://dblp.uni-trier.de/db/conf/ppopp/ppopp2016.html#Narayanaswamy0K16},
year = 2016
}