Inproceedings,
Bounded partial-order reduction.
K. Coons, M. Musuvathi, and K. McKinley.OOPSLA, page 833-848. ACM, (2013)
Meta data
- BibTeX key
- conf/oopsla/CoonsMM13
- entry type
- inproceedings
- booktitle
- OOPSLA
- year
- 2013
- pages
- 833-848
- publisher
- ACM
- crossref
- conf/oopsla/2013
- ee
- https://doi.org/10.1145/2544173.2509556
- isbn
- 978-1-4503-2374-1
- url
- http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#CoonsMM13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/oopsla/CoonsMM13
%A Coons, Katherine E.
%A Musuvathi, Madan
%A McKinley, Kathryn S.
%B OOPSLA
%D 2013
%E Hosking, Antony L.
%E Eugster, Patrick Th.
%E Lopes, Cristina V.
%I ACM
%K dblp
%P 833-848
%T Bounded partial-order reduction.
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#CoonsMM13
%@ 978-1-4503-2374-1
@inproceedings{conf/oopsla/CoonsMM13,
added-at = {2021-06-24T00:00:00.000+0200},
author = {Coons, Katherine E. and Musuvathi, Madan and McKinley, Kathryn S.},
biburl = {https://www.bibsonomy.org/bibtex/222ce4a6a0c7e82552995b5c22d7d9619/dblp},
booktitle = {OOPSLA},
crossref = {conf/oopsla/2013},
editor = {Hosking, Antony L. and Eugster, Patrick Th. and Lopes, Cristina V.},
ee = {https://doi.org/10.1145/2544173.2509556},
interhash = {f57829d3d5c075b35a6a7a71a0289852},
intrahash = {22ce4a6a0c7e82552995b5c22d7d9619},
isbn = {978-1-4503-2374-1},
keywords = {dblp},
pages = {833-848},
publisher = {ACM},
timestamp = {2024-04-09T11:44:51.000+0200},
title = {Bounded partial-order reduction.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2013.html#CoonsMM13},
year = 2013
}