%0 Conference Paper %1 conf/ppopp/ThomsonD15 %A Thomson, Paul %A Donaldson, Alastair F. %B PPoPP %D 2015 %E Cohen, Albert %E Grove, David %I ACM %K dblp %P 259-260 %T The lazy happens-before relation: better partial-order reduction for systematic concurrency testing. %U http://dblp.uni-trier.de/db/conf/ppopp/ppopp2015.html#ThomsonD15 %@ 978-1-4503-3205-7

@inproceedings{conf/ppopp/ThomsonD15, added-at = {2022-06-12T00:00:00.000+0200}, author = {Thomson, Paul and Donaldson, Alastair F.}, biburl = {https://www.bibsonomy.org/bibtex/20318eb7058fad8f6ea533e2449012d7c/dblp}, booktitle = {PPoPP}, crossref = {conf/ppopp/2015}, editor = {Cohen, Albert and Grove, David}, ee = {https://doi.org/10.1145/2858788.2688533}, interhash = {18a276a8ca555e7f4f225dd34df3c218}, intrahash = {0318eb7058fad8f6ea533e2449012d7c}, isbn = {978-1-4503-3205-7}, keywords = {dblp}, pages = {259-260}, publisher = {ACM}, timestamp = {2024-04-10T01:15:26.000+0200}, title = {The lazy happens-before relation: better partial-order reduction for systematic concurrency testing.}, url = {http://dblp.uni-trier.de/db/conf/ppopp/ppopp2015.html#ThomsonD15}, year = 2015 }