Inproceedings,
SCRATCH: a tool for automatic analysis of dma races.
A. Donaldson, D. Kroening, and P. Rümmer.PPoPP, page 311-312. ACM, (2011)
Meta data
- BibTeX key
- conf/ppopp/DonaldsonKR11
- entry type
- inproceedings
- booktitle
- PPoPP
- year
- 2011
- pages
- 311-312
- publisher
- ACM
- crossref
- conf/ppopp/2011
- ee
- https://doi.org/10.1145/2038037.1941604
- isbn
- 978-1-4503-0119-0
- url
- http://dblp.uni-trier.de/db/conf/ppopp/ppopp2011.html#DonaldsonKR11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ppopp/DonaldsonKR11
%A Donaldson, Alastair F.
%A Kroening, Daniel
%A Rümmer, Philipp
%B PPoPP
%D 2011
%E Cascaval, Calin
%E Yew, Pen-Chung
%I ACM
%K dblp
%P 311-312
%T SCRATCH: a tool for automatic analysis of dma races.
%U http://dblp.uni-trier.de/db/conf/ppopp/ppopp2011.html#DonaldsonKR11
%@ 978-1-4503-0119-0
@inproceedings{conf/ppopp/DonaldsonKR11,
added-at = {2022-06-12T00:00:00.000+0200},
author = {Donaldson, Alastair F. and Kroening, Daniel and Rümmer, Philipp},
biburl = {https://www.bibsonomy.org/bibtex/28ef40adc74049622f36fdf529de5bc60/dblp},
booktitle = {PPoPP},
crossref = {conf/ppopp/2011},
editor = {Cascaval, Calin and Yew, Pen-Chung},
ee = {https://doi.org/10.1145/2038037.1941604},
interhash = {c184d47397194322ad326875a013ba41},
intrahash = {8ef40adc74049622f36fdf529de5bc60},
isbn = {978-1-4503-0119-0},
keywords = {dblp},
pages = {311-312},
publisher = {ACM},
timestamp = {2024-04-10T01:14:33.000+0200},
title = {SCRATCH: a tool for automatic analysis of dma races.},
url = {http://dblp.uni-trier.de/db/conf/ppopp/ppopp2011.html#DonaldsonKR11},
year = 2011
}